begriffs open source - cmsis/blob - v6.1.0-rc0/Stream/search/search.css

   1 /*---------------- Search Box */
   2
   3 .titlearea table {
   4     width: 100%;
   5 }
   6
   7 dark-mode-toggle {
   8     position: absolute;
   9     right: 5px;
  10     padding-top: 3px;
  11 }
  12
  13 #MSearchBox {
  14     position: absolute;
  15     right: 34px;
  16 }
  17
  18 /*---------------- Search box styling */
  19
  20 .SRPage * {
  21     font-weight: normal;
  22     line-height: normal;
  23 }
  24
  25 dark-mode-toggle {
  26     margin-left: 5px;
  27     display: flex;
  28     float: right;
  29 }
  30
  31 #MSearchBox {
  32     display: inline-block;
  33     white-space : nowrap;
  34     background: var(--search-background-color);
  35     border-radius: 0.65em;
  36     box-shadow: var(--search-box-shadow);
  37     z-index: 102;
  38 }
  39
  40 #MSearchBox .left {
  41     display: inline-block;
  42     vertical-align: middle;
  43     height: 1.4em;
  44 }
  45
  46 #MSearchSelect {
  47     display: inline-block;
  48     vertical-align: middle;
  49     width: 20px;
  50     height: 19px;
  51     background-image: var(--search-magnification-select-image);
  52     margin: 0 0 0 0.3em;
  53     padding: 0;
  54 }
  55
  56 #MSearchSelectExt {
  57     display: inline-block;
  58     vertical-align: middle;
  59     width: 10px;
  60     height: 19px;
  61     background-image: var(--search-magnification-image);
  62     margin: 0 0 0 0.5em;
  63     padding: 0;
  64 }
  65
  66
  67 #MSearchField {
  68     display: inline-block;
  69     vertical-align: middle;
  70     width: 7.5em;
  71     height: 19px;
  72     margin: 0 0.15em;
  73     padding: 0;
  74     line-height: 1em;
  75     border:none;
  76     color: var(--search-foreground-color);
  77     outline: none;
  78     font-family: var(--font-family-search);
  79     -webkit-border-radius: 0px;
  80     border-radius: 0px;
  81     background: none;
  82 }
  83
  84 @media(hover: none) {
  85     /* to avoid zooming on iOS */
  86     #MSearchField {
  87         font-size: 16px;
  88     }
  89 }
  90
  91 #MSearchBox .right {
  92     display: inline-block;
  93     vertical-align: middle;
  94     width: 1.4em;
  95     height: 1.4em;
  96 }
  97
  98 #MSearchClose {
  99     display: none;
 100     font-size: inherit;
 101     background : none;
 102     border: none;
 103     margin: 0;
 104     padding: 0;
 105     outline: none;
 106
 107 }
 108
 109 #MSearchCloseImg {
 110     padding: 0.3em;
 111     margin: 0;
 112 }
 113
 114 .MSearchBoxActive #MSearchField {
 115     color: var(--search-active-color);
 116 }
 117
 118
 119
 120 /*---------------- Search filter selection */
 121
 122 #MSearchSelectWindow {
 123     display: none;
 124     position: absolute;
 125     left: 0; top: 0;
 126     border: 1px solid var(--search-filter-border-color);
 127     background-color: var(--search-filter-background-color);
 128     z-index: 10001;
 129     padding-top: 4px;
 130     padding-bottom: 4px;
 131     -moz-border-radius: 4px;
 132     -webkit-border-top-left-radius: 4px;
 133     -webkit-border-top-right-radius: 4px;
 134     -webkit-border-bottom-left-radius: 4px;
 135     -webkit-border-bottom-right-radius: 4px;
 136     -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
 137 }
 138
 139 .SelectItem {
 140     font: 8pt var(--font-family-search);
 141     padding-left:  2px;
 142     padding-right: 12px;
 143     border: 0px;
 144 }
 145
 146 span.SelectionMark {
 147     margin-right: 4px;
 148     font-family: var(--font-family-monospace);
 149     outline-style: none;
 150     text-decoration: none;
 151 }
 152
 153 a.SelectItem {
 154     display: block;
 155     outline-style: none;
 156     color: var(--search-filter-foreground-color);
 157     text-decoration: none;
 158     padding-left:   6px;
 159     padding-right: 12px;
 160 }
 161
 162 a.SelectItem:focus,
 163 a.SelectItem:active {
 164     color: var(--search-filter-foreground-color);
 165     outline-style: none;
 166     text-decoration: none;
 167 }
 168
 169 a.SelectItem:hover {
 170     color: var(--search-filter-highlight-text-color);
 171     background-color: var(--search-filter-highlight-bg-color);
 172     outline-style: none;
 173     text-decoration: none;
 174     cursor: pointer;
 175     display: block;
 176 }
 177
 178 /*---------------- Search results window */
 179
 180 iframe#MSearchResults {
 181     /*width: 60ex;*/
 182     height: 15em;
 183 }
 184
 185 #MSearchResultsWindow {
 186     display: none;
 187     position: absolute;
 188     left: 0; top: 0;
 189     border: 1px solid var(--search-results-border-color);
 190     background-color: var(--search-results-background-color);
 191     z-index:10000;
 192     width: 300px;
 193     height: 400px;
 194     overflow: auto;
 195 }
 196
 197 /* ----------------------------------- */
 198
 199
 200 #SRIndex {
 201     clear:both;
 202 }
 203
 204 .SREntry {
 205     font-size: 10pt;
 206     padding-left: 1ex;
 207 }
 208
 209 .SRPage .SREntry {
 210     font-size: 8pt;
 211     padding: 1px 5px;
 212 }
 213
 214 div.SRPage {
 215     margin: 5px 2px;
 216     background-color: var(--search-results-background-color);
 217 }
 218
 219 .SRChildren {
 220     padding-left: 3ex; padding-bottom: .5em
 221 }
 222
 223 .SRPage .SRChildren {
 224     display: none;
 225 }
 226
 227 .SRSymbol {
 228     font-weight: bold;
 229     color: var(--search-results-foreground-color);
 230     font-family: var(--font-family-search);
 231     text-decoration: none;
 232     outline: none;
 233 }
 234
 235 a.SRScope {
 236     display: block;
 237     color: var(--search-results-foreground-color);
 238     font-family: var(--font-family-search);
 239     font-size: 8pt;
 240     text-decoration: none;
 241     outline: none;
 242 }
 243
 244 a.SRSymbol:focus, a.SRSymbol:active,
 245 a.SRScope:focus, a.SRScope:active {
 246     text-decoration: underline;
 247 }
 248
 249 span.SRScope {
 250     padding-left: 4px;
 251     font-family: var(--font-family-search);
 252 }
 253
 254 .SRPage .SRStatus {
 255     padding: 2px 5px;
 256     font-size: 8pt;
 257     font-style: italic;
 258     font-family: var(--font-family-search);
 259 }
 260
 261 .SRResult {
 262     display: none;
 263 }
 264
 265 div.searchresults {
 266     margin-left: 10px;
 267     margin-right: 10px;
 268 }
 269
 270 /*---------------- External search page results */
 271
 272 .pages b {
 273    color: white;
 274    padding: 5px 5px 3px 5px;
 275    background-image: var(--nav-gradient-active-image-parent);
 276    background-repeat: repeat-x;
 277    text-shadow: 0 1px 1px #000000;
 278 }
 279
 280 .pages {
 281     line-height: 17px;
 282     margin-left: 4px;
 283     text-decoration: none;
 284 }
 285
 286 .hl {
 287     font-weight: bold;
 288 }
 289
 290 #searchresults {
 291     margin-bottom: 20px;
 292 }
 293
 294 .searchpages {
 295     margin-top: 10px;
 296 }
 297