diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2016-09-27 16:11:25 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-09-27 16:11:25 +0200 |
commit | 40d06320e097434a924c0d57b26e5e1a7574625c (patch) | |
tree | c18fdb35a36f89b5ca2dcbdd49a688e06cf18db5 /docs/css/staticdocs.css | |
parent | 81672751d5b23ed73c9b05bb02c52f0ee854de77 (diff) |
Add staticdocs
Diffstat (limited to 'docs/css/staticdocs.css')
-rw-r--r-- | docs/css/staticdocs.css | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/docs/css/staticdocs.css b/docs/css/staticdocs.css new file mode 100644 index 0000000..15d7408 --- /dev/null +++ b/docs/css/staticdocs.css @@ -0,0 +1,25 @@ +h2 {padding-top: 20px} + +.icon img { + float: right; + border: 1px solid #ccc; +} +.index .internal {display: none;} +ul.index li {margin-bottom: 0.5em; clear: both;} + +footer { + margin-top: 45px; + padding: 35px 0 36px; + border-top: 1px solid #e5e5e5; +} +footer p { + margin-bottom: 0; + color: #555; +} + +.sidebar h2 { + font-size: 1.1em; + padding-top: 0.5em; +} + +.sidebar li {margin-bottom: 0.5em;} |