diff options
Diffstat (limited to 'docs/static/css/main.css')
| -rw-r--r-- | docs/static/css/main.css | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/docs/static/css/main.css b/docs/static/css/main.css new file mode 100644 index 0000000..4560790 --- /dev/null +++ b/docs/static/css/main.css @@ -0,0 +1,34 @@ +a.title { + text-decoration: none; + color: black; +} + +a.title h1 img { + height: 1.4em; +} + +a.title h1 span { + vertical-align: top; +} + +div.menu ul { + list-style: none; + padding-left: 7px; +} + +div.menu ul li { + display: inline-block; + padding-right: 1.3em; +} + +div.menu ul li a { + font-size: 1.2em; + color: #444; + text-decoration: none; +} + +p.intro { + font-size: 1.3em; + line-height: 1.3em; + margin-top: 0px; +} |
