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 година
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401
  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. /* TODO:
  228. 1) Hidden info
  229. - Add links for authors.
  230. - Add language field.
  231. 2) Code body
  232. - Add highlighting.
  233. - Add scrolling hits*/
  234. div.result
  235. width: $resultWidth
  236. height: 200px
  237. margin-bottom: 100%
  238. table
  239. border-collapse: collapse
  240. height: inherit
  241. tr
  242. height: inherit
  243. &.cascade
  244. @extend .t1
  245. margin-bottom: 15%
  246. div#display-info
  247. font-size: 1.3em
  248. padding: 5px 0px 5px 5px
  249. width: 100%
  250. #title
  251. margin-right: 10px
  252. #site
  253. text-transform: capitalize
  254. td#code
  255. width: $codeWidth
  256. height: inherit
  257. padding: 0px
  258. @include vendor(transition, width 0.2s ease-in-out)
  259. // .display-all &
  260. // width: 500px
  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. div#hidden-info
  278. width: $hiddenInfoWidth
  279. margin-left: -$hiddenInfoWidth - 10px
  280. height: 100%
  281. padding-top: 40px
  282. font-size: 1.2em
  283. line-height: 1.5em
  284. @include vendor(transition, margin-left 0.2s ease-in-out)
  285. position: relative
  286. z-index: 0
  287. .display-all &
  288. margin-left: 0px
  289. padding-left: 20px
  290. span
  291. font-family: monospace
  292. color: $baseColor1
  293. float: right
  294. div
  295. display: block
  296. #authors
  297. a
  298. font-family: monospace
  299. div#cycle-matches
  300. margin-left: 130px
  301. margin-top: 20px
  302. #prev-match
  303. font-size: 1.1em
  304. margin-left: 125px
  305. #next-match
  306. font-size: 1.1em
  307. margin-left: 20px