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.
 
 
 
 
 
 

160 lines
3.1 KiB

  1. /*
  2. Stylesheet for index.html.
  3. */
  4. @import mixins
  5. @import variables
  6. .ui-datepicker
  7. font-size: 0.7em
  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. position: absolute
  37. right: 0
  38. top: 0
  39. width: 34%
  40. #title
  41. font-size: 4em
  42. padding-bottom: 0.5em
  43. text-align: center
  44. #title-bit
  45. color: $baseColor1
  46. #title-angle
  47. color: $baseColor3
  48. #title-shift
  49. color: $baseColor2
  50. font-style: italic
  51. form#search-bar
  52. input[type="text"]
  53. @include vendor(box-sizing, border-box)
  54. border: 1px solid $baseColor1
  55. font-size: 1.1em
  56. margin-bottom: 0px
  57. padding: 6px
  58. width: 100%
  59. div#advanced-search
  60. background-color: white
  61. border: 1px solid $baseColor2
  62. margin: 0px
  63. max-height: 0.1px
  64. overflow: auto
  65. padding: 0px
  66. &.visible
  67. max-height: 100%
  68. padding-bottom: 30px
  69. >div
  70. @include vendor(box-sizing, border-box)
  71. float: left
  72. height: 100%
  73. >#col1
  74. width: 10%
  75. >#col2
  76. width: 84%
  77. ul
  78. list-style: none
  79. li
  80. margin-bottom: 0.5em
  81. label
  82. display: block
  83. font-size: 1.1em
  84. input[type="text"]
  85. @extend .t2
  86. border-color: $baseColor3
  87. font-size: 1em
  88. padding: 4px
  89. width: 100%
  90. &:hover
  91. border-color: $baseColor2
  92. &:focus
  93. border-color: $baseColor1
  94. #upper-half
  95. >div
  96. float: left
  97. width: 50%
  98. #col2
  99. input[type="text"]
  100. width: 50%
  101. &.partly-visible
  102. height: 1%
  103. margin-top: 3%
  104. width: 60%
  105. #title
  106. display: none
  107. div#results
  108. margin-left: auto
  109. margin-right: auto
  110. width: 80%
  111. div.result
  112. background-color: #F8F8F8
  113. margin-bottom: 10%
  114. margin-top: 1%
  115. padding: 1%
  116. &.cascade
  117. @extend .t3
  118. margin-bottom: 0%