/* * ======================== * ===== =============== * ====== ================ * ====== ================ * ====== ==== ==== == * ====== === == = = * ====== === = == = * = === === = == ==== * = === === = == = = * == ===== ==== == * ======================== * * jozan.org: css/site.css * Wed Apr 20 12:52:41 CEST 2022 * Joe * * The style */ body { margin: 0 auto; width: 100%; height: 100%; min-height: 100%; font-family: sans-serif; background-color: #f1f1f1; } div.fullpage { background-color: #f5f5f5; position: relative; min-height: 100%; } header { margin: 0pt; padding: 0pt; width: 100%; background-color: #ededed; border-bottom: 2pt solid #aaa; border-top: 0pt; } header h1 { font-size: x-large; font-weight: bold; text-align: center; padding: 5pt; margin: 0pt; color: #292929; } header a { margin: 0pt; border-collapse: collapse; } header a:link { color: #292929; background-color: transparent; text-decoration: none; } header a:visited { color: #292929; background-color: transparent; text-decoration: none; } header a:hover { color: #292929; background-color: transparent; text-decoration: none; } header a:active { color: #292929; background-color: transparent; text-decoration: none; } footer { border-top: 1pt solid #ccc; background-color: #f1f1f1; clear: both; position: absolute; bottom: 0; width: 100%; height: 2rem; margin-top: -2rem; } footer p { text-align: center; padding: 5px; margin: 0; } a { margin: 0pt; border-collapse: collapse; } a:link { color: #9d0006; background-color: transparent; text-decoration: none; } a:visited { color: #9d0006; background-color: transparent; text-decoration: none; } a:hover { color: #9d0006; background-color: transparent; text-decoration: underline; } a:active { color: #9d0006; background-color: transparent; text-decoration: none; } div.sidebar li { display: list-item; } div.sidebar ul { padding: 0pt 0pt 0pt 1em; margin: 0; list-style: square; } div.sidebar hr { border-top: none; } div.sidebar { float: right; background-color: #eee4e4; border-left: 1pt solid #9d0006; border-bottom: 1pt solid #9d0006; margin-left: 2em; margin-bottom: 1em; min-width: 15%; padding: 5pt; border-radius: 0px 0px 0px 3px; } div.body-contents { padding: 5pt 0 5pt 0; padding-bottom: 2.5rem; margin-left: 10%; margin-right: 20%; line-height: 1.5em; } div.body-contents h1 { font-size: 140%; font-weight: bold; text-align: left; padding: 0em 0em 0.25rem 0em; margin: 0pt; margin-top: 0.75em; color: #9d0006; border-bottom: 2px solid #9d0006; } div.body-contents h2 { font-size: 130%; font-weight: bold; text-align: left; padding: 0em 0em 0.25rem 0em; margin: 0pt; margin-top: 2em; color: #9d0006; border-bottom: 1px solid #9d0006; } div.body-contents h3 { font-size: 115%; font-weight: bold; text-align: left; padding: 0em 0em 0.25rem 0em; margin: 0pt; margin-top: 2.2em; color: #9d0006; } div.body-contents h4 { font-size: 110%; font-weight: bold; text-align: left; padding: 0em 0em 0.20rem 0em; margin: 0pt; margin-top: 1em; } div.body-contents p { margin: 1em 1ex 1em 1ex !important; } div.body-contents b { font-weight: bold; color: #9d0006; } div.body-contents li { display: list-item; padding: 0.10rem 0pt 0.10rem 0pt; } div.body-contents ul { padding: 0em 6ex 0em 6ex; margin: 0; list-style: square; } div.body-contents img { border: 3px solid #eee2e2; } div.body-contents code { font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; font-size: smaller; background-color: #eee4e4; color: #900006; border-radius: 5px; padding: 2px 5px 2px 5px; } div.body-contents pre { font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, monospace; font-size: smaller; color: #400006; background-color: #eee4e4; border-radius: 4px; display: block; margin: 0; width: 80%; overflow: auto; margin-left: 1em; margin-right: 1em; padding: 10px 10px 10px 10px; white-space: pre; border: 1px solid #9d0006; } div.body-contents hr { border-top: none; border-bottom: 1px solid #9d0006; width: 80%; } div.figure { padding: 1em; } div.figure p { font-size: 90%; text-align: center; } div.body-contents pre.src { background-color: #3c3836; color: #ebdbb2; border-radius: 4px; display: block; margin: 0; width: 80%; overflow: auto; margin-left: 1em; margin-right: 1em; padding: 10px 10px 10px 10px; white-space: pre; border: 1px solid #1d2021; } div#postamble { border: 1px solid #89f; width: 35%; margin: 15px; padding: 4px; border-radius: 4px; } span.fa { font-size: 16px; color: #9d0006; }