diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2020-08-31 00:59:22 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2020-08-31 08:08:31 +0200 |
commit | 1c00b4812edb439f47938d074b9c4f73b2cc0ad3 (patch) | |
tree | 816fbcbb65594081b54c27c082c5dcc66f467889 /doc/_static | |
parent | e3672365cf95b98135c2b65446995dcd85b92d5e (diff) | |
download | ghdl-1c00b4812edb439f47938d074b9c4f73b2cc0ad3.tar.gz ghdl-1c00b4812edb439f47938d074b9c4f73b2cc0ad3.tar.bz2 ghdl-1c00b4812edb439f47938d074b9c4f73b2cc0ad3.zip |
ci: use buildthedocs/btd to build and publish the docs to GHP
Diffstat (limited to 'doc/_static')
-rw-r--r-- | doc/_static/logo.png | bin | 0 -> 3963 bytes | |||
-rw-r--r-- | doc/_static/theme_overrides.css | 12 |
2 files changed, 0 insertions, 12 deletions
diff --git a/doc/_static/logo.png b/doc/_static/logo.png Binary files differnew file mode 100644 index 000000000..c0f903a7a --- /dev/null +++ b/doc/_static/logo.png diff --git a/doc/_static/theme_overrides.css b/doc/_static/theme_overrides.css index 7efc1c207..4a5cae28e 100644 --- a/doc/_static/theme_overrides.css +++ b/doc/_static/theme_overrides.css @@ -8,14 +8,6 @@ p{font-size:95%;margin-bottom:12px} footer {font-size: 75%;} .rst-footer-buttons {font-size: 140%;} -/*Header and footer margins*/ -footer p {margin-bottom: 0px} -footer hr {margin-bottom: 10px} -[role=navigation] hr {margin-top: 5px} - -/*Do not center main content and allow wider display*/ -.wy-nav-content{margin: auto; max-width: 1020px} - /*Shrink left nav to 260px*/ .wy-nav-side,.rst-versions,.wy-side-nav-search,.wy-menu-vertical{width: 260px} .wy-nav-content-wrap{margin-left:260px;background:#fcfcfc;min-height:100%} @@ -61,10 +53,6 @@ div.wy-menu.rst-pro{display: none !important;max-width: 260px} /*Reduce space between footnotes*/ .footnotes > .wy-table-responsive {margin-top:-12px;margin-bottom:12px} -/* Set text justification in paragraphs and list items to fully justified [borrowed from PoC-Library]*/ -.section p {text-align:justify;} -.simple li {text-align:justify;} - /*Reduce margin below lists*/ .rst-content .section ul, .rst-content .toctree-wrapper ul, article ul {margin-bottom: 12px} .rst-content blockquote {margin-bottom: 12px;} |