style.css 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212
  1. body {
  2. font-family: sans-serif;
  3. line-height: 1.5;
  4. padding: 0;
  5. margin: 0;
  6. display: grid;
  7. grid-template-areas: "nav content" "nav footer";
  8. grid-template-columns: 20em auto;
  9. grid-template-rows: auto min-content;
  10. height: 100vh;
  11. align-items: stretch;
  12. }
  13. a {
  14. text-decoration: none;
  15. color: #36f;
  16. font-weight: bold;
  17. }
  18. a:focus, #toc a:focus {
  19. background-color: black;
  20. color: white;
  21. }
  22. a:visited {
  23. color: #36f;
  24. font-weight: bold;
  25. }
  26. a:hover {
  27. text-decoration: underline;
  28. }
  29. #header {
  30. background-color: #fafafa;
  31. grid-area: nav;
  32. box-shadow: 0 0 10px #cecece;
  33. }
  34. #footer {
  35. grid-area: footer;
  36. justify-self: center;
  37. align-self: end;
  38. padding: 1em;
  39. }
  40. #toc {
  41. padding: 1em;
  42. }
  43. #toc a {
  44. color: black;
  45. font-weight: normal;
  46. }
  47. #toc li {
  48. padding-bottom: .6em;
  49. }
  50. #toc ul {
  51. list-style: none;
  52. margin: 0;
  53. padding: 0;
  54. }
  55. #toc ul ul {
  56. padding-left: 1.4em;
  57. }
  58. #toctitle {
  59. font-weight: bold;
  60. color: black;
  61. }
  62. #content ul {
  63. list-style: '\25b9 ';
  64. }
  65. h1 {
  66. font-size: 1.4em;
  67. font-weight: lighter;
  68. background-color: black;
  69. padding: .6em;
  70. margin: 0;
  71. color: white;
  72. }
  73. #toc a:hover {
  74. text-decoration: underline;
  75. }
  76. #content {
  77. background-color: white;
  78. grid-area: content;
  79. max-width: 1000px;
  80. padding: 1em;
  81. justify-self: center;
  82. }
  83. #content img {
  84. max-width: 100%;
  85. vertical-align: middle;
  86. }
  87. code {
  88. background-color: #f7f7f8;
  89. }
  90. pre {
  91. background-color: #f7f7f8;
  92. padding: 1em;
  93. word-wrap: break-word;
  94. white-space: no-wrap;
  95. overflow: auto;
  96. }
  97. table {
  98. border-collapse: collapse;
  99. }
  100. td, th {
  101. border: 1px solid gray;
  102. padding: .4em;
  103. }
  104. th {
  105. background-color: #f9f9f9;
  106. text-align: left;
  107. }
  108. .imageblock {
  109. float: center;
  110. }
  111. .imageblock.right {
  112. float: right;
  113. }
  114. .imageblock .title {
  115. margin-bottom: 2em;
  116. }
  117. .imageblock img {
  118. border-radius: 1em;
  119. box-shadow: 0 0 10px #cecece;
  120. }
  121. .imageblock.right img {
  122. box-shadow: none;
  123. }
  124. .listingblock {
  125. box-shadow: 0 0 10px #cecece;
  126. border-radius: 1em;
  127. }
  128. .listingblock .title {
  129. border-radius: 1em 1em 0 0;
  130. }
  131. .listingblock .title ~ .content, .listingblock .title ~ .content pre {
  132. border-radius: 0 0 1em 1em;
  133. }
  134. .listingblock .content, .listingblock .content pre {
  135. border-radius: 1em;
  136. }
  137. hr {
  138. clear: both;
  139. border: 0;
  140. border-bottom: 1px solid #efefef;
  141. margin: 1em;
  142. }
  143. div.admonitionblock.note {
  144. background-color: beige;
  145. }
  146. div.admonitionblock td {
  147. border: 0;
  148. }
  149. div.admonitionblock td:first-child {
  150. font-weight: bold;
  151. }
  152. .listingblock .title {
  153. background-color: #efefef;
  154. margin-bottom: -1em;
  155. padding: 1em;
  156. }
  157. .red {
  158. color: white;
  159. border: 1px solid black;
  160. padding: .2em;
  161. font-weight: bold;
  162. background-color: #cc0000;
  163. }
  164. .red a {
  165. color: white;
  166. }
  167. @media (max-width: 700px) {
  168. body {
  169. display: block;
  170. }
  171. }