diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-04 08:45:23 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-04 08:45:23 +0200 |
commit | b31824f420c9d904ab5f46774183a59e3b86cedd (patch) | |
tree | 87737278e9a14202a07c4110cd62684807f96062 /docs/css/staticdocs.css | |
parent | 17ef63f22008c80998cb2690a40ad1238d06a400 (diff) |
Static documentation built using newer staticdocs::build_site()
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;} |