diff options
Diffstat (limited to 'web/pandoc.css')
-rw-r--r-- | web/pandoc.css | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/web/pandoc.css b/web/pandoc.css new file mode 100644 index 000000000..fc0e042be --- /dev/null +++ b/web/pandoc.css @@ -0,0 +1,64 @@ +body { + margin: auto; + padding-right: 1em; + padding-left: 1em; + max-width: 44em; + border-left: 1px solid black; + border-right: 1px solid black; + color: black; + font-family: Verdana, sans-serif; + font-size: 100%; + line-height: 140%; + color: #333; +} +pre { + border: 1px dotted gray; + background-color: #ececec; + color: #1111111; + padding: 0.5em; +} +code { + font-family: monospace; + font-size: 110%; +} +h1, h2, h3, h4, h5 { font-family: verdana; + font-weight: bold; + border-bottom: 1px dotted black; + color: #7a5ada; } +h1 { + font-size: 130%; +} + +h2 { + font-size: 110%; +} + +h3 { + font-size: 95%; +} + +h4 { + font-size: 90%; + font-style: italic; +} + +h5 { + font-size: 90%; + font-style: italic; +} + +h1.title { + font-size: 200%; + font-weight: bold; + padding-top: 0.2em; + padding-bottom: 0.2em; + text-align: left; + border: none; +} + +#footer { + padding-top: 1em; + font-size: 70%; + color: gray; + text-align: center; +} |