search.css 6.9 KB

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