:root { /* default theme (light) */ --fg: #333; --bg: #f4f0f0; --subtitle: #777; --pre-fg: #111; --pre-bg: #eaeaea; --border1: #ccc; --code-bg: #e8e8e8; --border2: #999; --a-fg: #B34A00; } @media (prefers-color-scheme: dark) { :root { --fg: #cbb; --bg: #211e1f; --subtitle: #888; --pre-fg: #eaeaea; --pre-bg: #262327; --border1: #444; --code-bg: #222; --border2: #555; --a-fg: #FF9447; } } body { margin: auto; max-width: 820px; line-height: 1.6; font-family: "Trebutchet MS", Sans-Serif; padding: 0 10px; font-size: 18px; color: var(--fg); background: var(--bg); } p { text-align: justify; } nav.navbar { padding-top: 10px; } nav.navbar > a { padding: 1px 20px; background: var(--pre-bg); border: 1px solid var(--border1); border-radius: 6px; } h1.title { line-height: 1.2; font-size: 1.6em; } h1 { line-height: 1; font-size: 1.2em; } h2 { line-height: 1; font-size: 1.2em; } p.subtitle { font-size: 16px; color: var(--subtitle); } pre { padding: 8px 8px 8px 8px; border-radius: 3px; border: 1px solid var(--border1); font-size: 14px; font-family: Courier, Monospace; overflow-x: auto; background: var(--pre-bg); color: var(--pre-fg); } pre > code { background: var(--pre-bg); font-size: 14px; border: none; padding: 0px; } code { background: var(--code-bg); border: 1px solid var(--border1); font-size: 14px; border-radius: 3px; padding: 2px 2px; } a { color: var(--a-fg); text-decoration: none; } a:hover { text-decoration: underline; text-decoration-style: dotted; } /*external links*/ a.external_link::after { content: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAoAAAAKCAYAAACNMs+9AAAAGXRFWHRTb2Z0d2FyZQBBZG9iZSBJbWFnZVJlYWR5ccllPAAAAIpJREFUeNqEkIEJwCAMBGPpEs7hHK6hY+gauoZr6Bo6RtqEWkxb6EMQnuM/USEirIoxSmOKwDkhBEwp4VPkb4801Xun9xW4e+9FldYarLUvkBPPOp4JGWOgtSaSt6VWQKUU9nPOEiSIgAmNMdadFTjn7utqrXwh6fLvH9nXhamW5ksMnpfDnw4BBgBfunO056MmqAAAAABJRU5ErkJggg==); } td,th { vertical-align:top; padding: 5px 5px 5px; text-align:center; border: solid 1px var(--border2); } span.date { font-size: 80%; } table { border: solid 1px var(--border1); background: var(--code-bg); font-size: 15px; } p > img { width: 90%; display: block; text-align: center; margin-left: auto; margin-right: auto; }