diff options
| author | 2019-04-20 23:49:12 +0200 | |
|---|---|---|
| committer | 2019-04-20 23:49:12 +0200 | |
| commit | 0e373cd953dd7ee8433cd936a8df050ab097bb08 (patch) | |
| tree | 54061f3d1f33247f0a57efc311167ba275c67c94 /pydis_site/static/css/wiki/style.css | |
| parent | Merge pull request #213 from python-discord/django_front_page (diff) | |
| parent | Replace wiki dep with PyDis fork, add git to Docker (diff) | |
Merge pull request #202 from gdude2002/django+200/wiki
[#200] Django Wiki
Diffstat (limited to 'pydis_site/static/css/wiki/style.css')
| -rw-r--r-- | pydis_site/static/css/wiki/style.css | 33 | 
1 files changed, 33 insertions, 0 deletions
diff --git a/pydis_site/static/css/wiki/style.css b/pydis_site/static/css/wiki/style.css new file mode 100644 index 00000000..db6b4050 --- /dev/null +++ b/pydis_site/static/css/wiki/style.css @@ -0,0 +1,33 @@ +#wikiNavbar { +    min-height: 3rem; +} + +#wikiNavbar .container { +    min-height: 3rem; +} + +#wikiNavbar .navbar-brand { +    min-height: 3rem; +} + +.breadcrumb-section { +    padding: 1rem; +} + +div.control.is-fullwidth { +    width: 100%; +} + +ul.pagination-list { +    list-style: none; +    margin: 0; +} + +ul.pagination-list li + li { +    margin: 0; +} + +.pagination { +    margin-top: 0.5rem; +    margin-bottom: 0.5rem; +}  |