search.css 5.2 KB

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