2020-12-16 07:18:18 +00:00
|
|
|
/* CSS that adds the bare minimum for a simple layout */
|
|
|
|
|
2020-12-19 02:30:34 +00:00
|
|
|
/* This site's CSS only does 9 major things:
|
2020-12-16 07:18:18 +00:00
|
|
|
* 1. sans-serif instead of serif for low-res screens.
|
|
|
|
* 2. Consistent font size; <pre> and <code> shouldn't be smaller.
|
|
|
|
* 3. max text width for readability
|
|
|
|
* 4. single-row nav links widescreen, multiline nav on narrow screens
|
|
|
|
* 5. Bigger "home" link that doubles as a site header
|
|
|
|
* 6. Soft border around code in case it looks too similar to regular
|
|
|
|
* text, and to show it continue across more than one line
|
|
|
|
* 7. Horizontally center inline images; left-aligned stick out.
|
|
|
|
* 8. Padding fixes so the above changes don't make elements misalign.
|
|
|
|
* 9. dark.css changes a few colors if the browser wants dark mode.
|
|
|
|
* Everything else is browser defaults:
|
|
|
|
* default fonts, non-dark-mode colors, etc.
|
|
|
|
*/
|
2020-11-03 23:46:20 +00:00
|
|
|
html {
|
2020-12-12 10:42:45 +00:00
|
|
|
font-family: sans-serif;
|
2020-11-25 01:09:26 +00:00
|
|
|
font-size: 16px;
|
2020-11-23 23:47:27 +00:00
|
|
|
line-height: 1.5rem;
|
2020-11-03 23:46:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
body {
|
2020-12-16 07:18:18 +00:00
|
|
|
margin: auto;
|
2020-12-16 07:16:22 +00:00
|
|
|
max-width: 50rem;
|
2020-12-16 07:18:18 +00:00
|
|
|
padding: 2rem 5%;
|
2020-11-03 23:46:20 +00:00
|
|
|
}
|
|
|
|
|
2020-12-16 07:18:18 +00:00
|
|
|
nav ul {
|
|
|
|
/* nav links should look more prominent than normal links */
|
|
|
|
font-size: 1.25rem;
|
2020-11-03 23:46:20 +00:00
|
|
|
|
2020-12-16 07:18:18 +00:00
|
|
|
/* Use whitespace instead of bullets to separate nav from article.
|
|
|
|
Also avoid top-padding at the top of the page. */
|
2020-11-23 23:47:27 +00:00
|
|
|
list-style-type: none;
|
2020-12-16 07:18:18 +00:00
|
|
|
margin: 0 0 2rem;
|
2020-11-23 23:47:27 +00:00
|
|
|
padding: 0;
|
2020-11-03 23:46:20 +00:00
|
|
|
}
|
|
|
|
|
2020-12-16 07:18:18 +00:00
|
|
|
/* nav links should be easy to tap with fat fingers */
|
2020-12-19 02:30:34 +00:00
|
|
|
nav li {
|
2020-12-16 07:18:18 +00:00
|
|
|
padding: 0.5rem 0.25rem;
|
2020-11-03 23:46:20 +00:00
|
|
|
}
|
|
|
|
|
2020-12-20 02:01:50 +00:00
|
|
|
/* The posts list doesn't need bullets; simple spacing and repetition
|
|
|
|
* of the "date + title" format is enough to convey separation
|
|
|
|
* between elements.
|
|
|
|
*/
|
|
|
|
.posts {
|
|
|
|
padding: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
.posts li {
|
|
|
|
list-style-type: none;
|
|
|
|
margin-bottom: 1rem;
|
|
|
|
}
|
|
|
|
|
2020-12-16 07:18:18 +00:00
|
|
|
/* Make the home link a bit bigger to serve as a site heading */
|
|
|
|
.home {
|
2020-11-23 23:47:27 +00:00
|
|
|
font-size: 1.5rem;
|
2020-12-16 07:18:18 +00:00
|
|
|
font-weight: bold;
|
|
|
|
padding: 0 0.5rem 0.75rem 0;
|
2020-11-03 23:46:20 +00:00
|
|
|
}
|
2020-12-13 05:05:25 +00:00
|
|
|
|
2020-12-16 07:18:18 +00:00
|
|
|
/* single-line nav on widescreen, multi-line nav on narrow screens */
|
|
|
|
@media (min-width: 32rem) {
|
2020-12-19 02:30:34 +00:00
|
|
|
nav li {
|
2020-12-16 07:18:18 +00:00
|
|
|
display: inline;
|
|
|
|
}
|
2020-11-03 23:46:20 +00:00
|
|
|
}
|
2020-11-30 21:17:15 +00:00
|
|
|
|
2020-12-16 07:18:18 +00:00
|
|
|
h1,
|
|
|
|
h2,
|
2020-12-12 10:42:45 +00:00
|
|
|
h3 {
|
2020-12-16 07:18:18 +00:00
|
|
|
line-height: 1.25em;
|
2020-11-03 23:46:20 +00:00
|
|
|
}
|
|
|
|
|
2020-12-12 10:42:45 +00:00
|
|
|
img {
|
2020-12-16 07:18:18 +00:00
|
|
|
display: block;
|
2020-12-16 07:09:45 +00:00
|
|
|
height: auto;
|
2020-12-16 07:18:18 +00:00
|
|
|
margin: auto;
|
2020-12-12 10:42:45 +00:00
|
|
|
max-width: 100%;
|
2020-11-03 23:46:20 +00:00
|
|
|
}
|
|
|
|
|
2020-12-12 10:42:45 +00:00
|
|
|
code {
|
2020-12-16 07:18:18 +00:00
|
|
|
padding: 0 0.25rem;
|
2020-11-25 01:09:26 +00:00
|
|
|
}
|
2020-11-30 21:17:15 +00:00
|
|
|
|
2020-12-12 10:42:45 +00:00
|
|
|
pre,
|
|
|
|
code {
|
2020-12-16 07:18:18 +00:00
|
|
|
border: 1px solid #bbb;
|
2020-11-25 01:09:26 +00:00
|
|
|
}
|
2020-11-30 21:17:15 +00:00
|
|
|
|
2020-12-12 10:42:45 +00:00
|
|
|
pre code {
|
2020-12-16 07:18:18 +00:00
|
|
|
border: 0; /* don't border each line in a pre block */
|
|
|
|
padding: 0; /* otherwise the first line in a pre block gets indented. */
|
2020-11-03 23:46:20 +00:00
|
|
|
}
|
|
|
|
|
2020-12-16 07:18:18 +00:00
|
|
|
/* Allow horizontal scroll in a pre block, but don't clip it vertically */
|
2020-12-12 10:42:45 +00:00
|
|
|
pre {
|
2020-12-16 07:18:18 +00:00
|
|
|
/* csslint ignore:start */
|
|
|
|
overflow: auto visible;
|
2020-11-03 23:46:20 +00:00
|
|
|
|
2020-12-16 07:18:18 +00:00
|
|
|
/* csslint ignore:end */
|
2020-11-03 23:46:20 +00:00
|
|
|
}
|