A semantic search engine for source code https://bitshift.benkurtovic.com/
Non puoi selezionare più di 25 argomenti Gli argomenti devono iniziare con una lettera o un numero, possono includere trattini ('-') e possono essere lunghi fino a 35 caratteri.
 
 
 
 
 
 

306 righe
7.2 KiB

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