@page {
margin: 10px;
}
html,
body,
div,
span,
applet,
object,
iframe,
h1,
h2,
h3,
h4,
h5,
h6,
p,
blockquote,
pre,
a,
abbr,
acronym,
address,
big,
cite,
code,
del,
dfn,
em,
img,
ins,
kbd,
q,
s,
samp,
small,
strike,
strong,
tt,
var,
b,
u,
i,
center,
fieldset,
form,
label,
legend,
table,
caption,
tbody,
tfoot,
thead,
tr,
th,
td,
article,
aside,
canvas,
details,
embed,
figure,
figcaption,
footer,
header,
hgroup,
menu,
nav,
output,
ruby,
section,
summary,
time,
mark,
audio,
video {
margin: 0;
padding: 0;
border: 0;
font-size: 100%;
vertical-align: baseline;
}
ol,
ul,
li,
dl,
dt,
dd {
margin: 0;
padding: 0;
border: 0;
font-size: 100%;
vertical-align: baseline;
}
a {
font-size: 1.0em;
}
a:link {
}
a:visited {
}
a:hover {
}
a:active {
}
body {
margin: 1em;
text-align: justify;
line-height: 120%;
}
h1 {
text-indent: 0;
text-align: center;
margin: 8px 0 0 0;
font-size: 2.0em;
font-weight: bold;
page-break-before: always;
line-height: 150%;
}
h2 {
text-indent: 0;
text-align: center;
margin: 10px 0 0 0;
font-size: 1.5em;
font-weight: bold;
page-break-before: always;
line-height: 135%;
}
h3 {
text-indent: 0;
text-align: left;
margin: 8px 0 6px 0;
font-size: 1.4em;
font-weight: bold;
}
h4 {
text-indent: 0;
text-align: left;
font-size: 1.2em;
font-weight: bold;
margin: 8px 0 6px 0;
}
h5 {
text-indent: 0;
text-align: left;
font-size: 1.1em;
font-weight: bold;
margin: 8px 0 6px 0;
}
h6 {
text-indent: 0;
text-align: left;
font-size: 1.0em;
font-weight: bold;
margin: 8px 0 6px 0;
}
h1,
h2,
h3,
h4,
h5,
h6 {
-webkit-hyphens: none !important;
hyphens: none;
page-break-after: avoid;
page-break-inside: avoid;
}
p {
font-size: 1.0em;
text-indent: 1.25em;
margin: 0.2em;
widows: 2;
orphans: 2;
}
p code {
text-indent: 0;
margin: 1.0em 0 0 0;
overflow-x: auto;
background: #f1f1f1;
color: #484848;
padding: 0.2em;
}
pre {
white-space: pre-wrap;
white-space: -moz-pre-wrap;
white-space: -pre-wrap;
white-space: -o-pre-wrap;
word-wrap: break-word;
}
pre code {
display: block;
overflow-x: auto;
background: #f1f1f1;
color: #373737;
padding: 0.2em;
overflow-wrap: break-word;
margin-left: 0.5em;
}
pre code.language-console {
color: #373737;
}
pre code.language-toml {
color: #000000;
}
pre code.language-rust {
color: #000000;
}
span.caption {
font-size: 1.0em;
font-weight: 600;
line-height: 1.45em;
}
p.centered {
text-indent: 0;
margin: 1.0em 0 0 0;
text-align: center;
}
p.centeredbreak {
text-indent: 0;
margin: 1.0em 0 1.0em 0;
text-align: center;
}
p.texttop {
margin: 1.5em 0 0 0;
text-indent: 0;
}
p.clearit {
clear: both;
}
p.toctext {
margin: 0 0 0 1.5em;
text-indent: 0;
}
p.toctext2 {
margin: 0 0 0 2.5em;
text-indent: 0;
}
ul {
margin: 1em 0 0 2em;
text-align: left;
}
ol {
margin: 1em 0 0 2em;
text-align: left;
}
ul li code {
overflow-x: auto;
background: #f1f1f1;
color: #373737;
padding: 0.2em;
overflow-wrap: break-word;
}
span.i {
font-style: italic;
}
span.b {
font-weight: bold;
}
span.u {
text-decoration: underline;
}
span.st {
text-decoration: line-through;
}
span.ib {
font-style: italic;
font-weight: bold;
}
span.iu {
font-style: italic;
text-decoration: underline;
}
span.bu {
font-weight: bold;
text-decoration: underline;
}
span.ibu {
font-style: italic;
font-weight: bold;
text-decoration: underline;
}
span.ipadcenterfix {
text-align: center;
}
img {
max-width: 100%;
}
.ferris-explain {
width: 100px;
}
.center {
display: block;
margin-left: auto;
margin-right: auto;
width: 50%;
}
table {
margin: 1.0em auto;
border-collapse: collapse;
border-spacing: 0;
}
tr,
th,
td {
padding: 3px 20px;
border: 1px hsl(0, 0%, 95%) solid;
margin: 0;
vertical-align: baseline;
}
table thead {
background: rgb(204, 204, 204);
}
table tbody tr:nth-child(2n) {
background: hsl(0, 0%, 97%);
}
table thead th {
padding: 3px 20px;
}
table tbody tr td code {
display: inline;
padding: 0.1em 0.3em;
border-radius: 3px;
background: #f1f1f1;
}
.footnote {
vertical-align: super;
font-size: 0.75em;
text-decoration: none;
}
span.dropcap {
font-size: 300%;
font-weight: bold;
height: 1em;
float: left;
margin: 0.3em 0.125em -0.4em 0.1em;
}
div.pullquote {
margin: 2em 2em 0 2em;
text-align: left;
}
div.pullquote p {
font-weight: bold;
font-style: italic;
}
div.pullquote hr {
width: 100%;
margin: 0;
height: 3px;
color: #2E8DE0;
background-color: #2E8DE0;
border: 0;
}
blockquote {
margin: 10px 0;
padding: 0 20px;
background-color: hsl(197, 37%, 96%);
}
div.blockquote {
margin: 1em 1.5em 0 1.5em;
text-align: left;
font-size: 0.9em;
}