h1 { font-size: 1.50em; } h2 { font-size: 1.40em; } h3 { font-size: 1.20em; } h4 { font-size: 1.00em; } h5 { font-size: 0.85em; } h6 { font-size: 0.75em; } h1 a, h2 a, h3 a, h4 a, h5 a, h6 a { text-decoration: none; } h1, h2, h3, h4, h5, h6 { margin-top: 1.5em; } @media (hover: hover) { /* For devices which support hover, hide the heading URL fragment link/icon until the mouse hovers over the heading */ h1:hover .heading-anchor, h2:hover .heading-anchor, h3:hover .heading-anchor, h4:hover .heading-anchor, h5:hover .heading-anchor, h6:hover .heading-anchor { visibility: visible; } h1 .heading-anchor, h2 .heading-anchor, h3 .heading-anchor, h4 .heading-anchor, h5 .heading-anchor, h6 .heading-anchor { visibility: hidden; } } .heading-anchor { color: grey; margin-left: 0.5em; font-size: 0.75em; } .heading-anchor:hover { text-decoration: none; } .heading-anchor img { height: 1em; } a { text-decoration: none; } a:hover { text-decoration: underline; } .dont-show { display: none; } /* Improvements to Hugo Chroma syntax highlighting */ .highlight { margin-top: 1em; margin-bottom: 1em; /* set the tab size for browsers that support it */ tab-size: 4; -moz-tab-size: 4; /* needed for the iPhone so that the two columns (line numbers and code) don't have different font sizes */ -webkit-text-size-adjust: 100%; } .highlight > * { padding: 0.5em; border-width: 2px; border-style: solid; } .highlight pre { margin: 0px; overflow-x: auto; word-wrap: normal; } .highlight td.lntd pre { /* needed to fix an iPhone scrolling bug */ overflow-x: hidden; } .highlight td.lntd:last-child { /* needed until this bug is fixed: https://github.com/alecthomas/chroma/issues/225 */ width: 100%; } /* Improvements to inline code blocks */ code { font-size: 98%; } :not(pre) > code { /* inline code elements */ background-color: rgba(25, 25, 25, 0.05); border-radius: 5px; font-size: 80%; padding-top: 0.2em; padding-bottom: 0.2em; padding-left: 0.4em; padding-right: 0.4em; } /* Formatting for "notice" shortcodes */ .notice { margin: 1.5em 0; width: 70%; margin-left: auto; margin-right: auto; background-color: #E9E9E9; } @media only screen and (max-width: 500pt) { .notice { width: 100%; } } .notice > hr { display: none; /* only want the child hr elements to appear if css is disabled */ } .notice .notice-title { margin: 0; padding: 0.4em; line-height: 1em; background-color: #D5D5D5; } .notice .notice-title span { vertical-align: -10%; /* we don't want the font descender space to be centered as well */ } .notice .notice-title .notice-title-icon { display: inline-block; vertical-align: middle; margin-left: 0.15em; margin-right: 0.25em; height: 0.85em; } .notice .notice-body { padding: 0.6em; } .notice .notice-body p:first-child { margin-top: 0; } .notice .notice-body p { margin: 0.8em 0; } /* ************************ */ blockquote { color: #404040; border-left: 0.25em solid #CCC; padding-left: 0.5em; margin-left: 1.5em; } .title-header { margin-top: 1.5em; margin-bottom: 1.5em; } .title-header > h1{ margin-top: 0; margin-bottom: 0.3em; } .title-header-date { color: rgb(90, 90, 90); font-size: 80%; } .title-list > h2, .title-list > h3, .title-list > h4, .title-list > h5, .title-list > h6{ margin-bottom: 0.1em; } .body-list p { margin-top: 0.5em; margin-bottom: 0.5em; } .title-list-date { color: rgb(90, 90, 90); font-size: 80%; } .table-of-contents { border-width: 2px; border-style: solid; padding: 1em; margin-bottom: 2em; font-size: 0.9em; } .table-of-contents nav > ul { /* only the most-parent ul element */ margin-bottom: 0; } .table-of-contents ul { list-style: none; padding-left: 0; } .table-of-contents li { margin-top: 0.5em; } .table-of-contents ul ul { list-style: none; padding-left: 1.0em; } .table-of-contents-title { font-size: 1.2em; font-weight: bold; } .section-list { padding-left: 0; } .section-list li { display: inline-block; margin-right: 0.5em; } .section-list li:last-child { margin-right: 0em; } .section-list li > * { background-color: rgba(25, 25, 25, 0.05); border-radius: 5px; font-size: 90%; padding-top: 0.2em; padding-bottom: 0.2em; padding-left: 0.4em; padding-right: 0.4em; } .links { font-size: 120%; list-style-type: none; line-height: 1; padding: 0; margin: 0; margin-top: 9pt; display: flex; flex-direction: row; flex-wrap: wrap; overflow: hidden; -webkit-overflow-scrolling: touch; /* this needs to go here for some reason */ } .links li { margin-right: 1em; } .links li > * { display:inline-block; } .links li:last-child { margin-right: 0; } .links a { text-decoration: none; color: inherit; } .links a:hover { color: #505050; } .overlay { position: fixed; visibility: hidden; opacity: 0; width: 100%; height: 100%; top: 0; left: 0; right: 0; bottom: 0; background-color: rgba(0, 0, 0, 0.7); z-index: 2; } .header-right { position: absolute; top: 0; right: 0; display: flex; } .header-right * { margin-left: 1em; } .header-right *:first-child { margin-left: 0; } .clickable-header-label { cursor: pointer; } .clickable-header-label * { height: 1em; width: auto; /* to override the attribute when css is supported */ } #show-hide-menu-label { display: none; } body { font-size: 13pt; font-family: Lato, Arial, Helvetica, "Liberation Sans", sans-serif; line-height: 1.45; margin: 0; } .title { font-weight: bold; font-size: 140%; line-height: 1em; } .title a { text-decoration: none; color: inherit; } .header { background-color: lightgray; background-size: 100%; background-position: bottom; display: inline-block; z-index: 1; /* this prevents images with css filters from appearing above the header when in portrait mode */ width: 100%; } .header-content { margin: 15pt; position: relative; /* so that "position:absolute" works for the menu label */ } .body { display: inline-block; width: 100%; } .body-content { margin: 15pt; word-wrap: break-word; } /* Image/Figure formatting */ .body-content :not(figure) img { /* regular image elements should be inline elements */ max-width: 100%; max-height: 60vw; /* if the image is really tall, we don't want the width to be 100% */ } .body-content figure { margin-left: auto; margin-right: auto; max-width: 70%; } .body-content figure img { display: block; margin-left: auto; margin-right: auto; margin-bottom: 0.5em; max-width: 100%; max-height: 40vw; /* if the image is really tall, we don't want the width to be 70% */ } .body-content figure:not(.color-adapting-image) img { /* if the image is designed to adapt to the theme, then don't use a background */ background-color: rgb(255, 255, 255); /* images with transparent backgrounds typically assume a light background */ } .body-content figure figcaption { font-size: 90%; line-height: 1.5em; padding-bottom: 0.3em; border-bottom: 2px solid lightgray; } .body-content figure figcaption * { margin: 0; } @media only screen and (orientation: portrait) { .body-content :not(figure) img, .body-content figure img { /* need to target both so that they're more specific */ max-height: 100vw; } } @media only screen and (max-width: 400pt) { .body-content figure { max-width: 100%; } .body-content figure figcaption { margin-left: 5%; margin-right: 5%; } } /* ************************ */ .main { width: 700pt; /* make sure to also change this in the media query */ margin: 0 auto; margin-top: 10pt; margin-bottom: 10pt; box-sizing: border-box; box-shadow: 0 0 10px rgba(50, 50, 50, .17); } .footer { text-align: center; font-size: 80%; } @media only screen and (orientation: portrait) { .header { top: 0; position: sticky; position: -webkit-sticky; /* needed for iOS */ box-shadow: 0 0 1em rgba(30, 30, 30, .3); } .body-content :target::before { /* When linking to tags with 'id's (example: 'website.com/post/#heading'), make them appear lower down the page so that they don't appear under the sticky header set above. See: https://stackoverflow.com/a/24298427 Note that this causes the cursor text selection of the target to behave undesirably. */ content: ''; display: block; height: 3em; margin-top: -3em; visibility: hidden; pointer-events: none; } } @media only screen and (max-width: 700pt) { .main { width: 100%; margin-top: 0; margin-bottom: 0; } body { font-size: 12pt; background-color: white; } } @media only screen and (max-width: 400pt) { .header-right { height: 100%; align-items: center; } .clickable-header-label { display: inline-flex; } .clickable-header-label * { vertical-align: middle; } #show-hide-menu-label { display: inherit; } .show-hide-menu-input:checked ~ .main .links { visibility: visible; opacity: 1; right: 0; transition: all 0.3s; } .show-hide-menu-input:checked ~ .main .overlay { visibility: visible; opacity: 1; transition: opacity 0.3s; } .links { display: block; visibility: hidden; opacity: 0; overflow-y: scroll; position: fixed; top: 0; bottom: 0; right: -100px; /* start to the right for the transition */ min-width: 75%; z-index: 3; background-color: rgb(247, 247, 247); padding: 10pt; margin: 0; } .links li { margin-right: 0; border-bottom: solid 1px gray; } .links li > * { box-sizing: border-box; width: 100%; padding: 13px; } .links li:first-child { border-top: solid 1px gray; margin-top: 0px; } .header-content { margin: 8pt 10pt; } .body-content { margin: 10pt; } .title a { vertical-align: -10%; /* we don't want the font descender space to be centered as well */ } } @media print { body { background-color: initial !important; } .main { margin-top: 0; margin-bottom: 0; width: 100%; box-shadow: none !important; } .header { background-color: initial !important; background-image: none !important; } .header-content { margin: 0; } .body-content { margin: 0; } .header-right { display: none; } .links { display: none; } }