diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-12-07 21:51:24 +0100 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-06-05 16:08:24 +0200 |
commit | 24b2eed3efa3fb9f6f042878d28952831a28398c (patch) | |
tree | 0e635cccd1ab3ed363c821819391ab25599fbe13 /doc/style.css | |
parent | 4f9d02b9b4c84d567709e0325642ac55e068a1ee (diff) |
Set up the manual
Diffstat (limited to 'doc/style.css')
-rw-r--r-- | doc/style.css | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css new file mode 100644 index 0000000..f201219 --- /dev/null +++ b/doc/style.css @@ -0,0 +1,31 @@ +html { + background-color: silver; +} + +body { + max-width: 50em; + margin: auto; + background-color: white; + padding: 2em; + border-left: 5px solid grey; + border-right: 2px solid grey; +} + +.example > .example { + border-left: 1px solid grey; + padding-left: 1em; +} + +.float-caption { + border-left: 1em solid lightgrey; + border-bottom: 2px solid grey; + margin-bottom: 6ex; + padding-left: 1em; +} + +dd { + border-left: 1em solid lightgrey; + border-bottom: 2px solid lightgrey; + margin-left: 1em; + padding-left: 1em; +} |