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 години
преди 10 години
преди 10 години
преди 10 години
преди 10 години
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390
  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. div.result
  228. width: $resultWidth
  229. height: 200px
  230. margin-bottom: 100%
  231. @include vendor(transition, opacity 0.2s ease-in-out)
  232. @include vendor(opacity, 0.7)
  233. table
  234. border-collapse: collapse
  235. height: inherit
  236. tr
  237. height: inherit
  238. &.cascade
  239. @extend .t1
  240. margin-bottom: 15%
  241. &.display-all
  242. @include vendor(opacity, 1.0)
  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. border: 1px solid #bbb
  256. @include vendor(transition, width 0.2s ease-in-out)
  257. #tablecontainer
  258. overflow: hidden
  259. width: 100%
  260. height: inherit
  261. background-color: #49483e
  262. position: relative
  263. z-index: 1
  264. table
  265. border-collapse: collapse
  266. font-family: monospace
  267. .linenos
  268. padding-left: 1%
  269. pre
  270. margin-top: 5px
  271. .code pre
  272. margin-top: 5px
  273. .hll
  274. background: #5B5A51
  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. position: relative
  283. z-index: 0
  284. @include vendor(transition, margin-left 0.2s ease-in-out)
  285. .display-all &
  286. margin-left: 0px
  287. padding-left: 20px
  288. span
  289. font-family: monospace
  290. color: $baseColor1
  291. float: right
  292. div
  293. display: block
  294. #authors
  295. a
  296. font-family: monospace