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.
 
 
 
 
 
 

123 regels
2.4 KiB

  1. /*
  2. Stylesheet for index.html.
  3. */
  4. @import mixins
  5. @import variables
  6. div#search-field
  7. @extend .t2
  8. bottom: 0
  9. height: 50%
  10. left: 0
  11. margin: auto
  12. margin-top: 15%
  13. max-height: 100px
  14. position: absolute
  15. right: 0
  16. top: 0
  17. width: 34%
  18. #title
  19. font-size: 4em
  20. padding-bottom: 0.5em
  21. text-align: center
  22. #title-bit
  23. color: $baseColor1
  24. #title-angle
  25. color: $baseColor3
  26. #title-shift
  27. color: $baseColor2
  28. font-style: italic
  29. form#search-bar
  30. input[type="text"]
  31. @include vendor(box-sizing, border-box)
  32. border: 1px solid $baseColor1
  33. font-size: 1.1em
  34. margin-bottom: 0px
  35. padding: 3px
  36. width: 100%
  37. div#advanced-search
  38. background-color: white
  39. border: 1px solid $baseColor2
  40. margin: 0px
  41. overflow: auto
  42. >div
  43. float: left
  44. height: 100%
  45. >#col1
  46. background-color: red
  47. width: 10%
  48. >#col2
  49. background-color: yellow
  50. width: 15%
  51. >#col3
  52. background-color: blue
  53. width: 75%
  54. div
  55. width: 100%
  56. #upper-half
  57. background-color: brown
  58. div
  59. float: left
  60. height: 100%
  61. #col1
  62. background-color: red
  63. width: 40%
  64. #col2
  65. background-color: magenta
  66. width: 20%
  67. #col3
  68. background-color: pink
  69. width: 40%
  70. #lower-half
  71. background-color: purple
  72. input[type="text"]
  73. border-color: $baseColor3
  74. font-size: 1em
  75. width: 30%
  76. &.partly-visible
  77. height: 1%
  78. margin-top: 3%
  79. width: 60%
  80. #title
  81. display: none
  82. div#results
  83. margin-left: auto
  84. margin-right: auto
  85. width: 80%
  86. div.result
  87. background-color: #F8F8F8
  88. margin-bottom: 10%
  89. margin-top: 1%
  90. padding: 1%
  91. &.cascade
  92. @extend .t3
  93. margin-bottom: 0%