From ee71fb0dd0cd3e8d1cfdd2eae9b4b4e741e51d6a Mon Sep 17 00:00:00 2001 From: Přemysl Eric Janouch Date: Mon, 24 Jan 2022 08:41:05 +0100 Subject: Start a basic user guide Move some information out there from the README. --- docs/stylesheet.css | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 docs/stylesheet.css (limited to 'docs/stylesheet.css') diff --git a/docs/stylesheet.css b/docs/stylesheet.css new file mode 100644 index 0000000..b4b5b2d --- /dev/null +++ b/docs/stylesheet.css @@ -0,0 +1,8 @@ +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: " — "; } +pre { padding: 0 1em; } -- cgit v1.2.3-70-g09d2