A semantic search engine for source code https://bitshift.benkurtovic.com/
No puede seleccionar más de 25 temas Los temas deben comenzar con una letra o número, pueden incluir guiones ('-') y pueden tener hasta 35 caracteres de largo.
 
 
 
 
 
 

397 líneas
8.0 KiB

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