| ... | @@ -27,7 +27,7 @@ | ... | @@ -27,7 +27,7 @@ |
| 27 | --help-sh-color: rgba(0, 0, 0, 0.75); | 27 | --help-sh-color: rgba(0, 0, 0, 0.75); |
| 28 | } | 28 | } |
| 29 | | 29 | |
| 30 | html, body { margin: 0; padding:0; height: 100%; } | 30 | html, body { margin: 0; padding: 0; height: 100%; } |
| 31 | | 31 | |
| 32 | a { | 32 | a { |
| 33 | text-decoration: none; | 33 | text-decoration: none; |
| ... | @@ -207,9 +207,9 @@ | ... | @@ -207,9 +207,9 @@ |
| 207 | | 207 | |
| 208 | .docs pre { | 208 | .docs pre { |
| 209 | font-family: var(--mono); | 209 | font-family: var(--mono); |
| 210 | font-size:1em; | 210 | font-size: 1em; |
| 211 | background-color:#F5F5F5; | 211 | background-color: #F5F5F5; |
| 212 | padding:1em; | 212 | padding: 1em; |
| 213 | overflow-x: auto; | 213 | overflow-x: auto; |
| 214 | } | 214 | } |
| 215 | | 215 | |
| ... | @@ -225,7 +225,7 @@ | ... | @@ -225,7 +225,7 @@ |
| 225 | border-bottom: 0.0625rem dashed; | 225 | border-bottom: 0.0625rem dashed; |
| 226 | } | 226 | } |
| 227 | | 227 | |
| 228 | .docs h2 { | 228 | .docs h2 { |
| 229 | font-size: 1.3em; | 229 | font-size: 1.3em; |
| 230 | margin: 0.5em 0; | 230 | margin: 0.5em 0; |
| 231 | padding: 0; | 231 | padding: 0; |