diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2020-12-07 21:51:24 +0100 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-05-11 00:14:27 +0200 |
commit | 84dcc91c1001c8a6499a58596ac6edaf40c80d97 (patch) | |
tree | 54d60ec7dc68d783c0b768314295d26c42f3d807 /doc/style.css | |
parent | 1cdb9d106b5d3df0c46a751dca2e7b7ab8e42c90 (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; +} |