123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624 |
- :root {
- --document-margin: 15pt;
- }
- 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 {
- /* this is used on an "aside" tag so that it's not shown in the browser's reader mode */
- display: inline;
- color: grey;
- margin-left: 0.5em;
- font-size: 0.75em;
- }
- .heading-anchor a: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;
- /* Not sure what we can do other than continue the links on the next line.
- * It's ugly, but probably better than hiding them altogether. */
- flex-wrap: wrap;
- row-gap: 0.3em;
- }
- .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;
- /* for iOS: https://stackoverflow.com/a/11885330 */
- -webkit-tap-highlight-color: rgba(0, 0, 0, 0);
- }
- .header-right {
- /* want the images to have padding to make them easier to click, but we still want them aligned correctly */
- --label-padding: 0.3em;
- position: absolute;
- top: calc(var(--document-margin) - var(--label-padding));
- right: calc(var(--document-margin) - var(--label-padding));
- display: flex;
- }
- .header-right > * {
- margin-left: 0.4em;
- }
- .clickable-header-label {
- cursor: pointer;
- padding: var(--label-padding);
- }
- .clickable-header-label img {
- height: 1em;
- width: auto; /* to override the <img width="__"> attribute when css is supported */
- }
- #show-hide-menu-label {
- display: none;
- }
- #show-hide-menu-label * {
- /* duration for the rotation transition of the hamburger image */
- transition-duration: 100ms;
- }
- 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: cover;
- background-position: bottom;
- width: 100%;
- /* header must be above the overlay */
- /* this also prevents images with css filters from appearing above the header when in portrait mode */
- z-index: 3;
- /* z-index doesn't apply to the default 'static' position */
- position: relative;
- }
- .header-content {
- padding: var(--document-margin);
- position: relative; /* so that "position: absolute" works for the menu label */
- }
- .body {
- display: inline-block;
- width: 100%;
- }
- .body-content {
- margin: var(--document-margin);
- 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) {
- :root {
- --document-margin: 10pt;
- }
- .header-right {
- top: 0;
- 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 {
- display: inherit;
- }
- .show-hide-menu-input:checked ~ .main #show-hide-menu-label > img {
- transform: rotate(90deg);
- }
- .show-hide-menu-input:checked ~ .overlay {
- visibility: visible;
- opacity: 1;
- }
- /* prevent scrolling the main body; must be on html element and not body for iOS */
- html:has(.show-hide-menu-input:checked) {
- overflow: hidden;
- height: 100%;
- /* prevent scrolling (of everything) on iOS */
- /* any element with 'overflow-y: scroll' will allow the body to scroll for some reason */
- /* use 'pan-zoom' to allow users to zoom if they need to, even though it makes scrolling weird */
- touch-action: pan-zoom;
- }
- .links {
- /* vertical padding between list items */
- --entry-padding: 9pt;
- display: none;
- position: absolute;
- left: 0;
- right: 0;
- padding-left: var(--document-margin);
- padding-right: var(--document-margin);
- padding-top: calc(var(--document-margin) - var(--entry-padding));
- padding-bottom: calc(var(--document-margin) - var(--entry-padding));
- font-size: 100%;
- background-color: rgb(247, 247, 247);
- border-top: solid 1px;
- border-bottom: solid 1px;
- }
- .links li {
- border-bottom: solid 1px;
- /* override all previously set margins */
- margin: 0;
- }
- .links li:last-child {
- border-bottom: none;
- }
- .links li > * {
- /* make the links easily clickable */
- width: 100%;
- padding-top: var(--entry-padding);
- padding-bottom: var(--entry-padding);
- }
- }
- @media print {
- :root {
- --document-margin: 0pt;
- }
- 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-right {
- display: none;
- }
- .links {
- display: none;
- }
- }
|