/* General declarations */ body { margin: 0px auto 0px auto; padding: 1%; max-width: 750px; text-rendering: optimizeLegibility; background-color: #f7f2f3; } .simple-icon { width: 22px; height: 22px; vertical-align: middle; } /* Navigation header */ header { border-bottom: 2px solid black; margin-bottom: 30px; padding: 12px 0px 12px 0px; } nav .nav-row { display: flex; flex-direction: row; justify-content: space-between; flex-wrap: wrap; } nav a { color: maroon; font-size: 18px; margin: 12px; text-decoration: none; } nav ul, nav li { display: inline; } nav ul li a { color: black; font-size: 14px; margin: 6px; } /* Article bodies */ div.header { color: #555; font-size: 14px; font-style: italic; } blockquote { font-style: italic; color: dimgrey; padding-left: 10px; border-left: 3px solid #ccc; } ul.no-style { list-style-type: none; } ul.no-style li { margin: 20px 0px; } /* Footer */ footer { border-top: solid 2px black; font-size: 14px; margin-top: 30px; padding: 12px 0px 12px 0px; } footer li { list-style-type: none; margin-top: 10px; } footer li a { margin-left: 5px; } div.post-footer, div.footnotes { border-top: 0.5px solid #555; } /* Code blocks */ /* The "lineno" class is the default generated by Rouge for table-row in code blocks, see: https://github.com/rouge-ruby/rouge */ pre.lineno { margin-right: 3px; padding-right: 3px; border-right: 1px solid; border-color: hsla(0, 0%, 0%, 0.3); text-align: right; user-select: none; } pre.highlight { border: 1px solid #ccc; border-radius: 10px; } pre { overflow: auto; } /* Code block anchors */ a.code-line-anchor { color: black; text-decoration: none; } a.code-line-anchor:hover { text-decoration: underline; } /* Header anchor */ div.header-anchor { color: black; text-decoration: none; display: block; margin-bottom: 15px; } div.header-anchor h1, div.header-anchor h2, div.header-anchor h3, div.header-anchor h4, div.header-anchor h5, div.header-anchor h6 { display: inline; } div.header-anchor img { visibility: hidden; } div.header-anchor:hover img { visibility: visible; } /* Plaintext code block links */ div.plaintext-link { margin: auto auto 0 auto; text-align: right; font-family: monospace; }