diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-02-21 21:18:38 +0100 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-02-21 21:42:53 +0100 |
commit | 942bc88d342ec820b664989daa5228e0f5b250be (patch) | |
tree | b2dee61bf1d97397ba1ff22b48fd0034b75468cd /doc/style.css | |
parent | 1cfca52e3ef0ba464473800d60825b0dd980f700 (diff) |
Use custom CSS for the texinfo output0.3.2
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; +} |