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.

преди 10 години
преди 10 години
преди 10 години
преди 10 години
преди 10 години
преди 10 години
преди 10 години
преди 10 години
преди 10 години
преди 10 години
преди 10 години
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399
  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. div#advanced-search
  96. background-color: white
  97. border: 1px solid $baseColor3
  98. display: none
  99. font-size: 96%
  100. height: 400px
  101. min-width: $minSearchFieldsWidth
  102. padding-top: 0px
  103. overflow-x: auto
  104. overflow-y: hidden
  105. #heading
  106. color: $baseColor2
  107. display: block
  108. font-size: 120%
  109. padding-left: 1%
  110. padding-top: 1%
  111. width: 100%
  112. div
  113. display: inline-block
  114. font-size: 110%
  115. &#col1
  116. width: 25%
  117. &#col2
  118. width: 75%
  119. >div
  120. @include vendor(box-sizing, border-box)
  121. display: inline-block
  122. float: left
  123. #sidebar
  124. padding-left: 1%
  125. width: 25%
  126. >ul
  127. list-style: none
  128. padding-left: 0
  129. margin-bottom: 8%
  130. margin-top: 2%
  131. li
  132. margin-bottom: 2%
  133. label
  134. user-select: none
  135. div
  136. @extend .t3
  137. background-color: $lightGray
  138. border: none
  139. padding: 3%
  140. width: 85%
  141. &:hover, &.selectedInputField
  142. @extend .t3
  143. background-color: $baseColor2
  144. color: white
  145. cursor: pointer
  146. width: 90%
  147. input[type="checkbox"]
  148. display: none
  149. &:checked + label > div
  150. @extend .selectedInputField
  151. background-color: $baseColor1
  152. color: white
  153. width: 90%
  154. button#add-group
  155. background-color: $lightBlue
  156. border: none
  157. color: white
  158. display: block
  159. height: 40px
  160. margin-bottom: 2%
  161. overflow: hidden
  162. white-space: nowrap
  163. width: 40px
  164. span
  165. font-size: 150%
  166. font-weight: bold
  167. margin-left: 6px
  168. margin-right: 14px
  169. &:hover
  170. @extend .t3
  171. background-color: $blue
  172. cursor: pointer
  173. width: 90%
  174. button#remove-group
  175. @extend button#add-group
  176. background-color: #D82D48
  177. span
  178. padding-left: 3px
  179. &:hover
  180. @extend .t3
  181. background-color: #F11437
  182. #search-groups
  183. margin-top: 1%
  184. max-height: 87%
  185. overflow-y: auto
  186. width: 75%
  187. .search-group
  188. @include vendor(transition, all 0.6s ease-out)
  189. background-color: $lightGray
  190. padding: 1%
  191. margin-bottom: 2%
  192. width: 97%
  193. >div
  194. margin-bottom: 0.7%
  195. >div.name
  196. display: inline-block
  197. font-size: 90%
  198. width: 20%
  199. >input[type=text]
  200. display: inline-block
  201. padding: 2px
  202. width: 60%
  203. >input[type=checkbox]
  204. margin-left: 2%
  205. &:checked + span
  206. @extend .t2
  207. color: green
  208. font-weight: bold
  209. &:hover
  210. cursor: checkbox
  211. span.regex
  212. font-size: 80%
  213. &#selected
  214. background-color: #CACACA
  215. div#results
  216. margin: 3% auto 0 auto
  217. margin-left: auto
  218. margin-right: auto
  219. width: 80%
  220. a
  221. text-decoration: none
  222. &:hover
  223. color: orange
  224. /* TODO:
  225. 1) Hidden info
  226. - Add links for authors.
  227. - Add language field.
  228. 2) Code body
  229. - Add highlighting.
  230. - Add scrolling hits*/
  231. div.result
  232. width: $resultWidth
  233. height: 200px
  234. margin-bottom: 100%
  235. table
  236. border-collapse: collapse
  237. height: inherit
  238. tr
  239. height: inherit
  240. &.cascade
  241. @extend .t3
  242. margin-bottom: 15%
  243. div#display-info
  244. font-size: 1.3em
  245. padding: 5px 0px 5px 5px
  246. width: 100%
  247. #title
  248. margin-right: 10px
  249. #site
  250. text-transform: capitalize
  251. td#code
  252. width: $codeWidth
  253. height: inherit
  254. padding: 0px
  255. @include vendor(transition, width 0.2s ease-in-out)
  256. // .display-all &
  257. // width: 500px
  258. #tablecontainer
  259. overflow: hidden
  260. width: 100%
  261. height: inherit
  262. background-color: #49483e
  263. position: relative
  264. z-index: 1
  265. table
  266. table-layout:fixed
  267. border-collapse: collapse
  268. font-family: monospace
  269. .linenos
  270. padding-left: 1%
  271. pre
  272. margin-top: 5px
  273. .code pre
  274. margin-top: 5px
  275. div#hidden-info
  276. width: $hiddenInfoWidth
  277. margin-left: -$hiddenInfoWidth - 10px
  278. height: 100%
  279. padding-top: 40px
  280. font-size: 1.2em
  281. line-height: 1.5em
  282. @include vendor(transition, margin-left 0.2s ease-in-out)
  283. position: relative
  284. z-index: 0
  285. .display-all &
  286. margin-left: 0px
  287. padding-left: 20px
  288. span
  289. font-family: monospace
  290. color: #5CADFF
  291. float: right
  292. div
  293. display: block
  294. #authors
  295. a
  296. font-family: monospace
  297. div#cycle-matches
  298. margin-left: 130px
  299. margin-top: 20px
  300. #prev-match
  301. font-size: 1.1em
  302. margin-left: 125px
  303. #next-match
  304. font-size: 1.1em
  305. margin-left: 20px