body { font-family: sans-serif; font-size: 90%; color: black; display: flex; flex-wrap: wrap; margin:0; padding:0; }
header { flex-basis: 100%; }
header nav { background-color: hsl(225, 50%, 50%); color: white; padding: 0.5ex; }
header h1 { margin: 0; padding: 0.5ex; background-color: black; color: white; font-weight: normal; }
body > nav { border-right: 1px solid black; padding: 0; }
body > nav ul { padding: 0; margin: 0; list-style-position: inside; }
body > nav li { padding: 0.25em 1ex 0.25em 2mm; }
body > nav a { font-weight: bold; color: hsl(225, 50%, 50%); }
body > nav h3 { margin: 0; padding: 0.5ex; }
article {  flex-basis: 60%; padding: 0.5ex 0 1vh 1vw; min-width: 0 }
article h3 { color: hsl(225, 50%, 50%); margin: 1.5em 0 0 0; border-bottom: 2px solid hsl(225, 50%, 50%); }
article h4 { color: hsl(225, 50%, 50%); margin: 1.5em 0 0 0; }
article h5 { color: black; font-size: 90%; }
article a { color: hsl(225, 50%, 50%); }
article img { width: 90%; image-rendering: crisp-edges }
article div img { width: auto; max-height: 10em }
a { text-decoration: none; color: inherit }
a:hover { text-decoration: underline; }
code, pre { background-color: whitesmoke; overflow-x: scroll; }