CSS tweaks for mobile

This commit is contained in:
Tony Garnock-Jones 2019-10-08 18:43:38 +01:00
parent 0a537b73ed
commit 383824c5e0
1 changed files with 11 additions and 2 deletions

View File

@ -20,22 +20,31 @@ h2 { border-bottom: solid #4f81bd 1px; }
h3, h4 { margin: 0; padding: 0; } h3, h4 { margin: 0; padding: 0; }
pre, code { background-color: #eee; font-family: "DejaVu Sans Mono", monospace; } pre, code { background-color: #eee; font-family: "DejaVu Sans Mono", monospace; }
code { font-size: 75%; } code { font-size: 75%; }
pre { padding: 0.33rem; line-height: 1; } pre { padding: 0.33rem; line-height: 1; overflow-x: auto; }
body { body {
counter-reset: section 0 subsection 0 appendix 0; counter-reset: section 0 subsection 0 appendix 0;
} }
h2:before, h3:before {
font-size: 75%;
}
h2:before, h3:before { h2:before, h3:before {
text-align: right; text-align: right;
display: inline-block; display: inline-block;
position: relative; position: relative;
right: 2.33em; right: 2.33em;
font-size: 75%;
text-align: right; text-align: right;
width: 2em; width: 2em;
margin-right: -2em; margin-right: -2em;
height: 0; height: 0;
} }
@media screen and (max-width: 53.33em) {
body {
margin-left: 2.33em;
margin-right: 0.5em;
}
}
h2:before { h2:before {
counter-increment: section; counter-increment: section;
content: counter(section) ". "; content: counter(section) ". ";