262 lines
5.6 KiB
CSS

@charset "UTF-8";
@import url('https://fonts.googleapis.com/css?family=IBM Plex Sans:300,350,400');
@import url('https://fonts.googleapis.com/css?family=Roboto Mono:300,340,380');
@import url('https://fonts.googleapis.com/css?family=IBM Plex Sans Condensed:300,350,400');
body {
font-family: "IBM Plex Sans", sans;
font-size: 16px;
font-weight: 350;
line-height: 1.35em;
background-color: #FFFFFF;
color: #37474F;
}
#content {
margin: 0 auto;
max-width: 720px;
margin-top: 5em;
margin-bottom: 5em;
}
b {
color: #FFAB91;
font-weight: 400;
}
a {
color: #673AB7;
font-weight: 400;
text-decoration: none;
}
h1, h2, h3 {
font-family: "IBM Plex Sans Condensed", serif;
font-weight: 400;
}
h1.title {
font-weight: 400;
line-height: 1em;
padding-top: 1.em;
padding-bottom: 0.5em;
}
h1 span.subtitle {
font-size: 16px;
font-weight: 350;
}
h2 {
clear: both;
padding-top: 1em;
padding-bottom: 0em;
}
p {
text-align: justify;
text-justify: inter-word;
hyphens: auto;
}
div.abstract {
background: #ECEFF1;
padding: .75em 1em .75em 1em;
line-height: 1.25em;
font-family: "IBM Plex Sans Condensed", sans-serif;
padding-bottom: 0.25em;
border-bottom: 4px solid #673AB7;
}
div.abstract p {
column-count: 1;
margin: 0 0 0.5em 0;
}
div.figure {
padding: 0.50em .00em 0.75em .00em;
}
div.figure p {
column-count: 1;
line-height: 1.2em;
font-family: "IBM Plex Sans Condensed", sans-serif;
}
div.sidefig::after {
display: block;
content: "";
clear: both;
}
div.sidefig div.figure p:nth-of-type(1) {
width: 60%;
float: left;
}
div.sidefig div.figure p:nth-of-type(2) {
font-size: 95%;
background-color:#ECEFF1;
padding: 1em;
}
div.sidefig div.figure img {
width: 100%;
}
div.figure img {
width: 100%;
}
span.figure-number {
font-weight: 500;
}
/* --- Footnote ------------------------------------------------------------ */
div.footpara {
display: inline-block;
}
h2.footnotes {
font-size: 16px;
width: 50%;
border-bottom: 4px solid #90A4AE;
}
p.footpara {
column-count: 1;
line-height: 1.25em;
font-family: "IBM Plex Sans Condensed", sans-serif;
margin: 0;
}
sup {
font-size: 0.75em;
vertical-align: top;
position: relative; top: -0.5em;
}
/* --- Block quote --------------------------------------------------------- */
blockquote p {
font-family: "IBM Plex Sans Condensed", sans-serif;
font-size: 95%;
line-height: 1.15em;
column-count: 1;
padding-top: 1em;
padding-bottom: 1.5em;
padding: 0.50em 1.00em 0.75em 1.00em;
background-color: #FAFAFA;
margin-bottom: 0.5em;
border-left: 4px solid #ECEFF1;
}
/* --- Source blocks ------------------------------------------------------- */
code {
font-family: "Roboto Mono", sans-serif;
font-weight: 300;
}
pre.example::before {
display: block;
background-color: #37474F;
content: "Output";
font-family: "Roboto Mono", sans-serif;
font-weight: 400;
padding-bottom: 0.25em;
}
pre.example {
font-size: 95%;
background-color: #FAFAFA;
line-height: 1.4em;
font-family: "Roboto Mono", sans-serif;
font-weight: 300;
padding: 0.5em 1em 0.5em 1em;
border-left: 4px solid #90A4AE;
}
pre.src {
font-size: 95%;
line-height: 1.4em;
font-family: "Roboto Mono", sans-serif;
font-weight: 300;
padding: 0;
margin: 0;
overflow-x: visible;
white-space: pre-wrap;
}
div.org-src-container {
border-bottom: 4px solid #ECEFF1;
padding: 0.50em 1.00em 0.75em 1.00em;
background-color: #FAFAFA;
margin-top: 0.25em;
margin-bottom: 0.75em;
}
label.org-src-name {
display: block;
font-family: "Roboto Mono", sans-serif;
padding-bottom: .25em;
}
span.listing-number {
font-weight: 500;
}
/* TOC */
@media (min-width: 1280px) {
body {
padding-left: 25em;
}
#table-of-contents {
position: fixed;
width: 18rem;
left: 1rem;
top: 0;
padding: 1em;
line-height: 1.5; }
#table-of-contents h2 {
margin-top: 0; }
#table-of-contents #text-table-of-contents {
position: relative; }
#table-of-contents #text-table-of-contents::before, #table-of-contents #text-table-of-contents::after {
position: absolute;
content: '';
width: calc(100% - 10px);
height: 0.7rem;
left: 0;
z-index: 1; }
#table-of-contents #text-table-of-contents > ul {
list-style: none;
padding: 0;
margin: 0;
max-height: calc(100vh - 5rem - 50px);
overflow-y: auto;
overflow-x: hidden;
scrollbar-width: thin; }
#table-of-contents #text-table-of-contents > ul ul {
padding-left: 2em; }
#table-of-contents #text-table-of-contents > ul ul.active {
display: inline-block; }
#table-of-contents #text-table-of-contents > ul li.active > ul {
display: inline-block; }
#table-of-contents #text-table-of-contents > ul li.active > label a, #table-of-contents #text-table-of-contents > ul li.active > a {
color: #263238; }
#table-of-contents #text-table-of-contents > ul li.active > input:not(:checked) ~ label::after {
transform: rotate(90deg);
top: 5px;
opacity: 0.35; }
#table-of-contents #text-table-of-contents > ul > li:last-child {
margin-bottom: 2rem; } }
/* top bar */
.topnav {
overflow: hidden;
background-color: #FAFAFA;
}
.topnav a {
float: left;
color: #37474F;
text-align: center;
padding: 14px 16px;
text-decoration: none;
font-size: 17px;
}
.topnav a:hover {
background-color: #ECEFF1;
color: #37474F;
}
.topnav a.active {
background-color: #FAFAFA;
color: #37474F;
}