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/simplemde-fixes.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/simplemde-fixes.css')
| -rw-r--r-- | pydis_site/static/css/wiki/simplemde-fixes.css | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pydis_site/static/css/wiki/simplemde-fixes.css b/pydis_site/static/css/wiki/simplemde-fixes.css new file mode 100644 index 00000000..a9e3e1dd --- /dev/null +++ b/pydis_site/static/css/wiki/simplemde-fixes.css @@ -0,0 +1,7 @@ +.CodeMirror-line { + margin-bottom: 0 !important; +} + +.CodeMirror { + height: 30rem; +} |