A semantic search engine for source code https://bitshift.benkurtovic.com/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

444 lines
8.9 KiB

  1. /*
  2. Stylesheet for `templates/index.html`.
  3. */
  4. @import mixins
  5. @import variables
  6. @import logo
  7. $minSearchFieldsWidth: 490px
  8. $codeWidth: 700px
  9. $hiddenInfoWidth: 300px
  10. .ui-datepicker
  11. font-size: 70%
  12. .ui-autocomplete
  13. max-height: 30%
  14. overflow-x: hidden
  15. overflow-y: scroll
  16. padding: 0px
  17. >li.ui-menu-item a.ui-state-focus
  18. @include vendor(transition, background-color 0.3s ease-out)
  19. div#body
  20. @extend .t3
  21. &.faded
  22. @include opaque(0.8)
  23. div#hotkey-help
  24. $width: 40%
  25. background-color: white
  26. border: 1px solid $baseColor3
  27. left: 50% - $width / 2
  28. min-width: 400px
  29. padding: 35px
  30. position: fixed
  31. top: 30%
  32. width: $width
  33. z-index: 200
  34. &.hidden
  35. display: none
  36. div
  37. border-bottom: 1px solid $baseColor2
  38. color: $baseColor1
  39. font-size: 130%
  40. padding-bottom: 8px
  41. text-align: center
  42. ul
  43. list-style: none
  44. margin-left: auto
  45. margin-right: auto
  46. position: relative
  47. width: 300px
  48. li
  49. margin-bottom: 4px
  50. span.hotkey
  51. color: $baseColor1
  52. font-family: monospace
  53. font-size: 130%
  54. font-weight: bold
  55. span.seperator
  56. color: $baseColor2
  57. div#search-field
  58. @extend .t2
  59. bottom: 0
  60. height: 50%
  61. left: 0
  62. margin: auto
  63. margin-top: 15%
  64. max-height: 100px
  65. right: 0
  66. position: absolute
  67. z-index: 2
  68. top: 0
  69. width: 40%
  70. form#search-bar
  71. min-width: $minSearchFieldsWidth
  72. input[type="text"], button
  73. @extend .t3
  74. @include vendor(box-sizing, border-box)
  75. border: 1px solid $baseColor2
  76. font-size: 110%
  77. margin-bottom: 0px
  78. padding: 6px
  79. input[type="text"]#query
  80. width: 100%
  81. &:hover
  82. border-color: $baseColor1
  83. button#advanced-search
  84. background-color: white
  85. border: none
  86. color: $baseColor2
  87. font-size: 1.1em
  88. font-style: italic
  89. &:hover
  90. color: $baseColor1
  91. cursor: pointer
  92. &.clicked
  93. color: $baseColor1
  94. &:focus
  95. outline: 0
  96. &.partly-visible
  97. margin-top: 0%
  98. position: absolute
  99. width: 100%
  100. #logo
  101. position: absolute
  102. top: -1%
  103. left: 1%
  104. span
  105. font-size: 50%
  106. form#search-bar
  107. padding-top: 3%
  108. margin-left: auto
  109. margin-right: auto
  110. min-width: 800px
  111. width: 60%
  112. input
  113. @extend .t3
  114. &#query
  115. width: 80%
  116. &:hover
  117. border: 1px solid $baseColor1
  118. button#advanced-search
  119. margin-left: 30px
  120. div#advanced-search
  121. background-color: white
  122. border: 1px solid $baseColor3
  123. display: none
  124. font-size: 96%
  125. height: 400px
  126. min-width: $minSearchFieldsWidth
  127. padding-top: 0px
  128. overflow-x: auto
  129. overflow-y: hidden
  130. #heading
  131. color: $baseColor2
  132. display: block
  133. font-size: 120%
  134. padding-left: 1%
  135. padding-top: 1%
  136. width: 100%
  137. div
  138. display: inline-block
  139. font-size: 110%
  140. &#col1
  141. width: 25%
  142. &#col2
  143. width: 75%
  144. button
  145. border: none
  146. color: white
  147. float: right
  148. font-size: 80%
  149. font-weight: bold
  150. margin-right: 1%
  151. padding-left: 4%
  152. padding-right: 4%
  153. &:hover
  154. cursor: pointer
  155. &#add-group
  156. background-color: #7FAFFC
  157. &:hover
  158. background-color: #609AF8
  159. &#remove-group
  160. background-color: #E74C4C
  161. &:hover
  162. background-color: #D63636
  163. &#submit
  164. background-color: #4ee76c
  165. &:hover
  166. background-color: #0FDD38
  167. >div
  168. @include vendor(box-sizing, border-box)
  169. display: inline-block
  170. float: left
  171. #sidebar
  172. padding-left: 1%
  173. width: 25%
  174. >ul
  175. list-style: none
  176. padding-left: 0
  177. margin-bottom: 8%
  178. margin-top: 2%
  179. li
  180. margin-bottom: 2%
  181. label
  182. user-select: none
  183. div
  184. @extend .t3
  185. background-color: $lightGray
  186. border: none
  187. padding: 3%
  188. width: 85%
  189. &:hover, &.selectedInputField
  190. @extend .t3
  191. background-color: $baseColor2
  192. color: white
  193. cursor: pointer
  194. width: 90%
  195. input[type="checkbox"]
  196. display: none
  197. &:checked + label > div
  198. @extend .selectedInputField
  199. background-color: $baseColor1
  200. color: white
  201. width: 90%
  202. #search-groups
  203. margin-top: 1%
  204. max-height: 87%
  205. overflow-y: auto
  206. width: 75%
  207. .search-group
  208. @include vendor(transition, all 0.6s ease-out)
  209. background-color: $lightGray
  210. padding: 1%
  211. margin-bottom: 2%
  212. width: 97%
  213. >div
  214. margin-bottom: 0.7%
  215. >div.name
  216. display: inline-block
  217. font-size: 90%
  218. width: 20%
  219. >input[type=text]
  220. display: inline-block
  221. padding: 2px
  222. width: 60%
  223. >input[type=checkbox]
  224. margin-left: 2%
  225. &:checked + span
  226. @extend .t2
  227. color: green
  228. font-weight: bold
  229. &:hover
  230. cursor: checkbox
  231. span.regex
  232. font-size: 80%
  233. &:hover
  234. cursor: pointer
  235. background-color: #d6d6d6
  236. &#selected
  237. background-color: #CACACA
  238. div#results
  239. margin: 3% auto 0 auto
  240. margin-left: auto
  241. margin-right: auto
  242. width: 80%
  243. a
  244. @extend .t3
  245. text-decoration: none
  246. &:hover
  247. color: $baseColor1
  248. div#error
  249. font-size: 170%
  250. margin-top: 22%
  251. text-align: center
  252. span
  253. margin-right: 10px
  254. font-size: 150%
  255. &#s1
  256. color: $baseColor1
  257. &#s2
  258. color: $baseColor2
  259. &.disable-hover
  260. pointer-events: none
  261. div.result
  262. @extend .t3
  263. height: 200px
  264. margin-bottom: 100%
  265. pointer-events: auto
  266. table
  267. border-collapse: collapse
  268. height: inherit
  269. tr
  270. @extend .t3
  271. @include opaque(0.8)
  272. height: inherit
  273. &.cascade
  274. @extend .t1
  275. margin-bottom: 15%
  276. &.display-all
  277. table tr
  278. @include opaque(1.0)
  279. #tablecontainer
  280. max-width: 70%
  281. overflow: auto !important
  282. div#display-info
  283. font-size: 1.3em
  284. padding: 5px 0px 5px 5px
  285. width: 100%
  286. #title
  287. margin-right: 10px
  288. #site
  289. text-transform: capitalize
  290. td#code
  291. @include vendor(transition, width 0.2s ease-in-out)
  292. width: $codeWidth
  293. max-width: $codeWidth
  294. height: inherit
  295. padding: 0px
  296. #tablecontainer
  297. width: 100%
  298. height: inherit
  299. overflow: hidden
  300. background-color: #49483e
  301. position: relative
  302. z-index: 1
  303. table
  304. border-collapse: collapse
  305. font-family: monospace
  306. .linenos
  307. padding-left: 8px
  308. pre
  309. margin-top: 5px
  310. .code pre
  311. margin-top: 5px
  312. .hll
  313. background: #5B5A51
  314. div#hidden-info
  315. width: $hiddenInfoWidth
  316. margin-left: -$hiddenInfoWidth
  317. height: 100%
  318. padding-top: 40px
  319. font-size: 1.2em
  320. line-height: 1.5em
  321. position: relative
  322. z-index: 0
  323. @include vendor(transition, margin-left 0.2s ease-in-out)
  324. .display-all &
  325. margin-left: -$hiddenInfoWidth / 1.5
  326. padding-left: 20px
  327. span
  328. color: $baseColor1
  329. font-family: monospace
  330. font-size: 1.1em
  331. // float: right
  332. div
  333. display: block
  334. #authors
  335. a
  336. font-family: monospace