:root { --accent: crimson; --border-width: 5px; }
html body { font-family: 'Roboto', sans-serif; font-size: 16px; background-color: white; }
html, body { height: 100%; }
body { padding-top: 55px; display: flex; text-align: center; flex-direction: column; }
ul { list-style-type: circle; }
main { width: 100%; margin: auto; padding: 25px; flex: 1 0 auto; max-width: 750px; line-height: 1.5; }
img { max-width: 100%; }
.intro { transform: translateY(20vh); }
.intro > img { width: 12vh; height: 12vh; border-radius: 50%; margin-bottom: 25px; }
.intro > h1 { font-size: 12vh; }
.intro > h2 { color: #999; font-size: 3vmin; }
.content-props, .content-props a { color: #999 !important; }
#TableOfContents, .content-related { padding: 15px; background-color: #f8f8f8; border: 1px solid #e7e7e7; border-radius: 5px; text-align: start; }
#TableOfContents ul, .content-related ul { margin: 0; padding-inline-start: 18px; list-style-type: decimal; }
#TableOfContents li, .content-related li { padding-left: 10px; }
.content-nav a { display: block; }
.content-related { margin: 40px 0 20px; }
.content-related .title { display: block; }
.content { padding-top: 20px; }
span.page-header { display: block; font-size: 20px; }
a:link, a:visited { color: var(--accent); }
a.icon:hover { text-decoration: none; }
a:hover { color: var(--accent) !important; }
.copyright { margin: 15px 0; }
.item { padding: 10px 0; }
.item h2 { font-size: 28px; }
.item .content-props { display: block; margin-bottom: 10px; }
.pagination { margin: 20px auto !important; max-width: 750px; }
.navbar-icon { font-size: 125%; display: inline-block !important; }
.navbar.navbar-default { border-top: var(--border-width) solid var(--accent); }
footer { border-bottom: var(--border-width) solid var(--accent); }
.archive ul { list-style-type: square; margin: 0; padding-left: 17px; }
.archive li { margin: 5px 0; }
.carousel-inner .item { padding: 0 !important; }
.highlight > pre > code { white-space: pre; }
.content-extra-props { padding: 15px; border-top: 1px solid #e7e7e7; text-align: center; color: #999 !important; margin-top: 50px; }