diff options
Diffstat (limited to 'doc-tool/resources/css/dottydoc.css')
-rw-r--r-- | doc-tool/resources/css/dottydoc.css | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/doc-tool/resources/css/dottydoc.css b/doc-tool/resources/css/dottydoc.css index 754d3b3f7..71f3d88c7 100644 --- a/doc-tool/resources/css/dottydoc.css +++ b/doc-tool/resources/css/dottydoc.css @@ -123,11 +123,25 @@ ul.toc > li > a:hover { background-color: rgba(0, 0, 0, 0.2); } +div#post-title, +div#post-footer, h1#doc-page-title { margin-left: 20px; margin-top: 10px; } +div#post-title > h2#sub-title { + font-weight: 100; + font-size: 24px; +} + +div#post-title > h3#post-date { + font-weight: 100; + font-size: 20px; + margin-bottom: 2px; +} + +div#blog-post-container, div#doc-page-container { background-color: #fff; padding: 10px; @@ -140,6 +154,17 @@ div#doc-page-container > p + h1 { margin-bottom: 40px; } +div#post-footer > img#author-image { + width: 100px; + height: auto; + border-radius: 50%; +} + +div#post-footer > span#post-author { + margin-left: 10px; + font-weight: 100; +} + pre { padding: 0; font-size: 13px; |