A semantic search engine for source code https://bitshift.benkurtovic.com/
Du kannst nicht mehr als 25 Themen auswählen Themen müssen entweder mit einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.

vor 10 Jahren
vor 10 Jahren
vor 10 Jahren
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210
  1. /*
  2. Stylesheet for index.html.
  3. */
  4. @import mixins
  5. @import variables
  6. .ui-datepicker
  7. font-size: 70%
  8. .twitter-typeahead
  9. width: 100%
  10. .tt-hint
  11. color: $baseColor2
  12. .tt-dropdown-menu
  13. width: 100%
  14. padding: 4px 0
  15. background-color: white
  16. border: 1px solid $baseColor2
  17. .tt-suggestion
  18. padding: 4px
  19. p
  20. margin: 0
  21. strong
  22. color: $baseColor1
  23. &.tt-cursor
  24. @extend .t1
  25. background-color: $baseColor1
  26. *
  27. color: white
  28. div#search-field
  29. @extend .t2
  30. bottom: 0
  31. height: 50%
  32. left: 0
  33. margin: auto
  34. margin-top: 15%
  35. max-height: 100px
  36. right: 0
  37. position: absolute
  38. top: 0
  39. width: 40%
  40. a#title
  41. text-decoration: none
  42. div#title
  43. font-size: 400%
  44. padding-bottom: 0.2em
  45. text-align: center
  46. #title-bit
  47. color: $baseColor1
  48. #title-angle
  49. color: $baseColor3
  50. #title-shift
  51. color: $baseColor2
  52. font-style: italic
  53. form#search-bar
  54. input[type="text"], button
  55. @extend .t3
  56. @include vendor(box-sizing, border-box)
  57. border: 1px solid $baseColor2
  58. font-size: 110%
  59. margin-bottom: 0px
  60. padding: 6px
  61. input[type="text"]
  62. width: 85%
  63. &:hover
  64. border-color: $baseColor1
  65. button#advanced-search
  66. background-color: white
  67. border: 1px solid white
  68. width: 15%
  69. height: 10%
  70. padding: 0px
  71. float: right
  72. &.clicked, &:hover
  73. img
  74. @extend .t3
  75. background-color: black
  76. cursor: pointer
  77. &:focus
  78. outline: 0
  79. img
  80. background-color: $baseColor2
  81. margin-top: 5px
  82. width: 26px
  83. height: 26px
  84. div#advanced-search
  85. background-color: white
  86. border: 1px solid $baseColor3
  87. padding-top: 0px
  88. overflow: auto
  89. >div
  90. @include vendor(box-sizing, border-box)
  91. display: inline-block
  92. float: left
  93. #sidebar
  94. padding-left: 1%
  95. width: 25%
  96. >div
  97. color: $baseColor2
  98. font-size: 120%
  99. padding-top: 5%
  100. >ul
  101. list-style: none
  102. padding-left: 0
  103. margin-bottom: 8%
  104. margin-top: 2%
  105. li
  106. margin-bottom: 2%
  107. label
  108. user-select: none
  109. div
  110. @extend .t3
  111. background-color: #F1F1F1
  112. border: none
  113. font-size: 96%
  114. padding: 3%
  115. width: 85%
  116. &:hover, &.selectedInputField
  117. @extend .t3
  118. background-color: $baseColor2
  119. color: white
  120. width: 90%
  121. input[type="checkbox"]
  122. display: none
  123. &:checked + label > div
  124. @extend .selectedInputField
  125. background-color: $baseColor1
  126. color: white
  127. width: 90%
  128. #search-groups
  129. background-color: blue
  130. width: 75%
  131. &.partly-visible
  132. margin-top: 0%
  133. padding-bottom: 3%
  134. position: absolute
  135. width: 100%
  136. #title
  137. position: absolute
  138. top: -1%
  139. left: 1%
  140. span
  141. font-size: 50%
  142. form#search-bar
  143. padding-top: 3%
  144. margin-left: auto
  145. margin-right: auto
  146. width: 60%
  147. div#results
  148. margin: 3% auto 0 auto
  149. margin-left: auto
  150. margin-right: auto
  151. width: 80%
  152. div.result
  153. background-color: #F8F8F8
  154. margin-bottom: 10%
  155. margin-top: 1%
  156. padding: 1%
  157. &.cascade
  158. @extend .t3
  159. margin-bottom: 0%