diff options
Diffstat (limited to 'docs/user-guide/stylesheet.css')
| -rw-r--r-- | docs/user-guide/stylesheet.css | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/user-guide/stylesheet.css b/docs/user-guide/stylesheet.css new file mode 100644 index 0000000..7e3b47e --- /dev/null +++ b/docs/user-guide/stylesheet.css @@ -0,0 +1,7 @@ +body { max-width: 50em; margin: 0 auto 4em auto; padding: 0 2em; + font-family: sans-serif; } h1, h2, h3 { font-weight: normal; } +h1 { font-size: 2.5em; } h2 { font-size: 2em; } h3 { font-size: 1.33em; } +h2 { padding-top: .67em; border-top: 1px solid silver; } +p { line-height: 1.5; } .figure { text-align: center; } img { max-width: 100%; } +q { font-style: normal; } .details { border-bottom: 1px solid silver; } +.details br { display: none; } .details br + span:before { content: " — "; } |