diff options
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; +} |