base.styl 1.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102
  1. ::selection {
  2. background: $selection-bg;
  3. color: $selection-color;
  4. }
  5. html, body {
  6. height: 100%;
  7. }
  8. body {
  9. background: var(--body-bg-color);
  10. color: var(--text-color);
  11. font-family: $font-family-base;
  12. font-size: $font-size-base;
  13. line-height: $line-height-base;
  14. +tablet-mobile() {
  15. // Remove the padding of body when the sidebar is open.
  16. padding-left: 0 !important;
  17. padding-right: 0 !important;
  18. }
  19. }
  20. h1, h2, h3, h4, h5, h6 {
  21. font-family: $font-family-headings;
  22. font-weight: bold;
  23. line-height: 1.5;
  24. margin: 20px 0 15px;
  25. }
  26. for headline in (1 .. 6) {
  27. h{headline} {
  28. font-size: $font-size-headings-base - $font-size-headings-step * headline;
  29. }
  30. }
  31. p {
  32. margin: 0 0 20px 0;
  33. }
  34. a, span.exturl {
  35. border-bottom: 1px solid $link-decoration-color;
  36. color: var(--link-color);
  37. outline: 0;
  38. text-decoration: none;
  39. word-wrap();
  40. &:hover {
  41. border-bottom-color: var(--link-hover-color);
  42. color: var(--link-hover-color);
  43. }
  44. // For spanned external links.
  45. cursor: pointer;
  46. }
  47. iframe, img, video {
  48. display: block;
  49. margin-left: auto;
  50. margin-right: auto;
  51. max-width: 100%;
  52. }
  53. hr {
  54. background-image: repeating-linear-gradient(-45deg, $grey-lighter, $grey-lighter 4px, transparent 4px, transparent 8px);
  55. border: 0;
  56. height: 3px;
  57. margin: 40px 0;
  58. }
  59. blockquote {
  60. border-left: 4px solid $grey-lighter;
  61. color: var(--blockquote-color);
  62. margin: 0;
  63. padding: 0 15px;
  64. cite::before {
  65. content: '-';
  66. padding: 0 5px;
  67. }
  68. }
  69. dt {
  70. font-weight: bold;
  71. }
  72. dd {
  73. margin: 0;
  74. padding: 0;
  75. }
  76. kbd {
  77. background-color: $whitesmoke;
  78. background-image: linear-gradient($gainsboro, white, $gainsboro);
  79. border: 1px solid $grey-light;
  80. border-radius: .2em;
  81. box-shadow: .1em .1em .2em rgba(0, 0, 0, .1);
  82. color: $code-foreground;
  83. font-family: inherit;
  84. padding: .1em .3em;
  85. white-space: nowrap;
  86. }