font-size

main
vitrinekast 9 months ago
parent 717564a07b
commit 43102f01a0

@ -335,8 +335,10 @@ body {
}
article {
margin: 1em 0.5em;
margin: 2em 2em;
page-break-after: always;
text-align: left;
text-justify: none;
}
ul {
@ -354,11 +356,14 @@ dd {
mark {
background: yellow;
display: block;
padding-left: 0.5em;
padding: 0.5em;
font-family: "DuctusRegular";
margin-bottom: 1em;
margin-right: 1em;
white-space: normal;
text-align: left;
text-justify: none;
font-size: 1em;
}
h1,
@ -370,10 +375,12 @@ h6 {
font-family: "DuctusRegular";
text-align: left;
text-justify: none;
font-size: 0.2em;
font-size: 1.5em;
}
p {
margin-bottom: 1em;
font-family: "CascadiaCode VTT";
font-size: 1em;
text-align: left;
text-justify: none;
}

@ -58,7 +58,7 @@
chopchop is usually located in the Piet Zwart Wijnhaven building, although for this occassion it is resting on the shelf bellow this e-reader.
</mark>
<pre><em>tldr@chopchop:~ $</em>uptime -s</pre>
<p><em>tldr@chopchop:~ $</em>uptime -s</p>
<mark>
Uptime is the amount of time a server has been up, available, running, working, executing. This is time that is not spent idle, but time spent busy serving.
</mark>

Loading…
Cancel
Save