A semantic search engine for source code https://bitshift.benkurtovic.com/
Vous ne pouvez pas sélectionner plus de 25 sujets Les noms de sujets doivent commencer par une lettre ou un nombre, peuvent contenir des tirets ('-') et peuvent comporter jusqu'à 35 caractères.
 
 
 
 
 
 

288 lignes
6.0 KiB

  1. /*
  2. Stylesheet for `index.html`.
  3. */
  4. @import mixins
  5. @import variables
  6. $minSearchFieldsWidth: 490px
  7. .ui-datepicker
  8. font-size: 70%
  9. .ui-autocomplete
  10. max-height: 30%
  11. overflow-x: hidden
  12. overflow-y: scroll
  13. padding: 0px
  14. >li.ui-menu-item a.ui-state-focus
  15. @include vendor(transition, background-color 0.3s ease-out)
  16. div#search-field
  17. @extend .t2
  18. bottom: 0
  19. height: 50%
  20. left: 0
  21. margin: auto
  22. margin-top: 15%
  23. max-height: 100px
  24. right: 0
  25. position: absolute
  26. top: 0
  27. width: 40%
  28. a#title
  29. text-decoration: none
  30. div#title
  31. font-size: 400%
  32. padding-bottom: 0.2em
  33. text-align: center
  34. #title-bit
  35. color: $baseColor1
  36. #title-angle
  37. color: $baseColor3
  38. #title-shift
  39. color: $baseColor2
  40. font-style: italic
  41. form#search-bar
  42. min-width: $minSearchFieldsWidth
  43. input[type="text"], button
  44. @extend .t3
  45. @include vendor(box-sizing, border-box)
  46. border: 1px solid $baseColor2
  47. font-size: 110%
  48. margin-bottom: 0px
  49. padding: 6px
  50. input[type="text"]
  51. width: 85%
  52. &:hover
  53. border-color: $baseColor1
  54. button#advanced-search
  55. background-color: white
  56. border: 1px solid white
  57. width: 15%
  58. height: 10%
  59. padding: 0px
  60. float: right
  61. &.clicked, &:hover
  62. img
  63. @extend .t3
  64. background-color: black
  65. cursor: pointer
  66. &:focus
  67. outline: 0
  68. img
  69. background-color: $baseColor2
  70. margin-top: 5px
  71. width: 26px
  72. height: 26px
  73. &.partly-visible
  74. margin-top: 0%
  75. padding-bottom: 3%
  76. position: absolute
  77. width: 100%
  78. #title
  79. position: absolute
  80. top: -1%
  81. left: 1%
  82. span
  83. font-size: 50%
  84. form#search-bar
  85. padding-top: 3%
  86. margin-left: auto
  87. margin-right: auto
  88. width: 60%
  89. div#advanced-search
  90. background-color: white
  91. border: 1px solid $baseColor3
  92. display: none
  93. font-size: 96%
  94. height: 400px
  95. min-width: $minSearchFieldsWidth
  96. padding-top: 0px
  97. overflow-x: auto
  98. overflow-y: hidden
  99. #heading
  100. color: $baseColor2
  101. display: block
  102. font-size: 120%
  103. padding-left: 1%
  104. padding-top: 1%
  105. width: 100%
  106. div
  107. display: inline-block
  108. font-size: 110%
  109. &#col1
  110. width: 25%
  111. &#col2
  112. width: 75%
  113. >div
  114. @include vendor(box-sizing, border-box)
  115. display: inline-block
  116. float: left
  117. #sidebar
  118. padding-left: 1%
  119. width: 25%
  120. >ul
  121. list-style: none
  122. padding-left: 0
  123. margin-bottom: 8%
  124. margin-top: 2%
  125. li
  126. margin-bottom: 2%
  127. label
  128. user-select: none
  129. div
  130. @extend .t3
  131. background-color: $lightGray
  132. border: none
  133. padding: 3%
  134. width: 85%
  135. &:hover, &.selectedInputField
  136. @extend .t3
  137. background-color: $baseColor2
  138. color: white
  139. cursor: pointer
  140. width: 90%
  141. input[type="checkbox"]
  142. display: none
  143. &:checked + label > div
  144. @extend .selectedInputField
  145. background-color: $baseColor1
  146. color: white
  147. width: 90%
  148. button#add-group
  149. background-color: $lightBlue
  150. border: none
  151. color: white
  152. display: block
  153. height: 40px
  154. margin-bottom: 2%
  155. overflow: hidden
  156. white-space: nowrap
  157. width: 40px
  158. span
  159. font-size: 150%
  160. font-weight: bold
  161. margin-left: 6px
  162. margin-right: 14px
  163. &:hover
  164. @extend .t3
  165. background-color: $blue
  166. cursor: pointer
  167. width: 90%
  168. button#remove-group
  169. @extend button#add-group
  170. background-color: #D82D48
  171. span
  172. padding-left: 3px
  173. &:hover
  174. @extend .t3
  175. background-color: #F11437
  176. #search-groups
  177. margin-top: 1%
  178. max-height: 93%
  179. overflow-y: auto
  180. width: 75%
  181. .search-group
  182. @include vendor(transition, all 0.6s ease-out)
  183. background-color: $lightGray
  184. padding: 1%
  185. margin-bottom: 2%
  186. width: 97%
  187. >div
  188. margin-bottom: 0.7%
  189. >div.name
  190. display: inline-block
  191. width: 18%
  192. >input[type=text]
  193. display: inline-block
  194. padding: 2px
  195. width: 60%
  196. >input[type=checkbox]
  197. margin-left: 2%
  198. &:checked + span
  199. @extend .t2
  200. color: green
  201. font-weight: bold
  202. span.regex
  203. font-size: 80%
  204. &#selected
  205. background-color: #CACACA
  206. div#results
  207. margin: 3% auto 0 auto
  208. margin-left: auto
  209. margin-right: auto
  210. width: 80%
  211. div.result
  212. background-color: #F8F8F8
  213. margin-bottom: 10%
  214. margin-top: 1%
  215. padding: 1%
  216. &.cascade
  217. @extend .t3
  218. margin-bottom: 0%