rc/servers
2
0
Fork 0
Code Issues Pull requests Actions Packages Projects 1 Releases Wiki Activity

doku: tweak fonts and stuff

Browse source
This commit is contained in:
Timotej Lazar 2024-02-20 10:32:02 +01:00
parent cc10b4b265
commit 90b55d8e8d
1 changed files with 13 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
roles/dokuwiki/files/userstyle.css
View file

@ -5,10 +5,18 @@ a.windows {
background: none !important; background: none !important;
} }
body {
font: unset;
}
.dokuwiki div.page { .dokuwiki div.page {
padding: 2em 2.5em; padding: 2em 2.5em;
} }
.logo a img {
display: none;
}
.page h2, .page h2,
.page h3, .page h3,
.page h4 { .page h4 {
@ -16,18 +24,19 @@ a.windows {
} }
.page p, .page ol, .page ul { .page p, .page ol, .page ul {
line-height: 1.5em; text-align: justify;
line-height: 1.6em;
margin: 0 0 0.5em; margin: 0 0 0.5em;
} }
.page code, .page code {
.page pre { padding: 0 0.2em;
font-size: 0.9em;
} }
.page pre { .page pre {
border-color: #eee; border-color: #eee;
box-shadow: none; box-shadow: none;
font-size: 0.9em;
margin: 0 1em 0.5em; margin: 0 1em 0.5em;
padding: 0.25em 0.5em; padding: 0.25em 0.5em;
} }