diff options
Diffstat (limited to 'docs/docstyle.css')
-rw-r--r-- | docs/docstyle.css | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/docs/docstyle.css b/docs/docstyle.css new file mode 100644 index 0000000..ad2a0a9 --- /dev/null +++ b/docs/docstyle.css @@ -0,0 +1,37 @@ +html, body { + font-size: 1em; + text-align: left; + text-decoration: none; +} +html { background-color: #e7e7e7; } + +body { + max-width: 74.92em; + margin: 0 auto; + padding: .5em 1em 1em 1em; + background-color: white; + border: .1em solid #c0c0c0; +} + +h1, h2, h3, h4 { color: #333; } +h5, h6, dt { color: #222; } + + +a h3 { + color: #005090; +} + +a[href] { color: #005090; } +a[href]:visited { color: #100070; } +a[href]:active, a[href]:hover { + color: #100070; + text-decoration: none; +} + +.linkrow { + margin: 3em 0; +} + +.linkrow { + text-align: center; +} |