reset.styl 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123
  1. /* Default styles for various components */
  2. html, body
  3. background-color #fff
  4. font-family OpenSans Regular, Helvetica Neue, Helvetica, Arial, sans-serif
  5. height 100%
  6. margin 0
  7. padding 0
  8. width 100%
  9. *
  10. -moz-box-sizing border-box
  11. -webkit-box-sizing border-box
  12. box-sizing border-box
  13. a, a:hover
  14. color #960018
  15. text-decoration underline dotted
  16. a:hover
  17. text-decoration underline
  18. blockquote
  19. background-color #f8f8f8
  20. border-left 5px solid #e9e9e9
  21. font-size .85em
  22. margin 1em 0
  23. padding .5em 1em
  24. blockquote cite
  25. color #999
  26. display block
  27. font-size .8em
  28. margin-top 1em
  29. blockquote cite:before
  30. content "\2014 \2009"
  31. hr.hr-light
  32. border 0
  33. height 0
  34. border-top 1px solid #ccc
  35. h3
  36. font-size 1.5em
  37. font-weight normal
  38. margin 1em 0 .5em 0
  39. img
  40. /* Prevent images from taking up too much space in comments */
  41. max-width 100%
  42. label
  43. cursor pointer
  44. font-weight normal
  45. pre
  46. font-family Inconsolata, Hack, DejaVu Sans Mono, Courier New, monospace, sans-serif
  47. white-space pre-wrap
  48. word-wrap break-word
  49. text-align justify
  50. /* Inline code */
  51. code
  52. background-color #f5f5f5
  53. border-radius 3px
  54. display inline-block
  55. font-family Inconsolata, Hack, DejaVu Sans Mono, Courier New, monospace, sans-serif
  56. font-size 85%
  57. line-height 140%
  58. margin 0 .2em
  59. padding .2em
  60. ul, ol
  61. margin auto
  62. table
  63. border-collapse collapse
  64. margin 2rem 0
  65. max-width 100%
  66. text-align left
  67. > thead
  68. th
  69. color #039
  70. font-weight bold
  71. padding 1rem
  72. tr:nth-child(even)
  73. background #F7F9FF
  74. td
  75. border-top 1px solid #e8edff
  76. padding .5rem 1rem
  77. vertical-align top
  78. /* Change style for logos */
  79. .dokk-logo,
  80. a.dokk-logo, a.dokk-logo:hover, a.dokk-logo:visited, a.dokk-logo:active
  81. color #960018
  82. font-family Syncopate
  83. text-decoration none
  84. .dokk-logo-light,
  85. a.dokk-logo-light, a.dokk-logo-light:hover, a.dokk-logo-light:visited, a.dokk-logo-light:active
  86. color #fff
  87. font-family Syncopate
  88. text-decoration none
  89. object
  90. height 100%
  91. position absolute
  92. left 0
  93. right 0
  94. width 100%
  95. /* Fallback content */
  96. > div
  97. display block
  98. unicode-bidi embed
  99. font-family Inconsolata, monospace
  100. white-space pre