diff options
Diffstat (limited to 'public/styles.css')
| -rw-r--r-- | public/styles.css | 71 |
1 files changed, 71 insertions, 0 deletions
diff --git a/public/styles.css b/public/styles.css new file mode 100644 index 0000000..22d2cc4 --- /dev/null +++ b/public/styles.css @@ -0,0 +1,71 @@ +body { + font-family: sans-serif; + margin: 0 auto; + max-width: 85ch; + line-height: 1.45; + padding: 0.5rem 1.6rem; +} +a { + color: #000000; + font-weight: bold; +} +a:link { + text-decoration: none; +} +a:hover { + text-decoration: underline; +} +main { + hyphens: auto; +} +code { + border: 1px solid; + padding: 0.1rem 0.3rem; + tab-size: 4; +} +pre { + border: 1px solid; +} +pre code { + display: block; + overflow-x: auto; + padding: 0.3rem 0.6rem; +} +nav ul { + margin: 0; + padding: 0; + display: flex; + justify-content: center; +} +nav li { + list-style: none; +} +nav li * { + display: block; + padding: 0 0.4rem; + color: black; +} +nav li strong { + padding-left: 1.5rem; + padding-right: 1rem; +} +nav a { + text-decoration: none; +} +nav a:hover { + +} +header { + border-bottom: 1px dashed grey; + margin: 0rem 0; + padding: 1rem 0px; + text-align: center; +} +footer { + border-top: 1px dashed grey; + margin: 2rem 0; + padding: 1rem 0px; + text-align: center; + color: #000000; +} + |