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
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109
  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: 6px
  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. @include vendor(box-sizing, border-box)
  44. float: left
  45. height: 100%
  46. >#col1
  47. width: 10%
  48. >#col2
  49. width: 84%
  50. ul
  51. list-style: none
  52. li
  53. margin-bottom: 0.5em
  54. label
  55. display: block
  56. font-size: 1.1em
  57. input[type="text"]
  58. border-color: $baseColor3
  59. font-size: 1em
  60. padding: 2px
  61. width: 100%
  62. #upper-half
  63. >div
  64. float: left
  65. width: 50%
  66. &.partly-visible
  67. height: 1%
  68. margin-top: 3%
  69. width: 60%
  70. #title
  71. display: none
  72. div#results
  73. margin-left: auto
  74. margin-right: auto
  75. width: 80%
  76. div.result
  77. background-color: #F8F8F8
  78. margin-bottom: 10%
  79. margin-top: 1%
  80. padding: 1%
  81. &.cascade
  82. @extend .t3
  83. margin-bottom: 0%