@font-face {
    font-family: "Source Sans Pro";
    src: url("/fonts/SourceSansPro-Regular.otf.woff2") format('woff2');
}

@font-face {
    font-family: "Source Sans Pro";
    src: url("/fonts/SourceSansPro-Bold.otf.woff2") format('woff2');
    font-weight: bold;
}

@font-face {
    font-family: "Source Sans Pro";
    src: url("/fonts/SourceSansPro-It.otf.woff2") format('woff2');
    font-style: italic;
}

@font-face {
    font-family: "Source Sans Pro";
    src: url("/fonts/SourceSansPro-BoldIt.otf.woff2") format('woff2');
    font-style: italic;
    font-weight: bold;
}

:root {
  --width: 720px;
  --font-main: Verdana, sans-serif;
  --font-secondary: Verdana, sans-serif;
  --background-color: #fff;
  --heading-color: #222;
  --text-color: #444;
  --link-color: #3273dc;
  --visited-color:  #8b6fcb;
  --code-background-color: #f2f2f2;
  --code-color: #222;
  --blockquote-color: #222;
  --danger: #dc3545;
  --info: #17a2b8;
  --success: #28a745;
}

@media (prefers-color-scheme: dark) {
  :root {
    --background-color: #01242e;
    --heading-color: #eee;
    --text-color: #ddd;
    --link-color: #8cc2dd;
    --visited-color:  #8b6fcb;
    --code-background-color: #000;
    --code-color: #ddd;
    --blockquote-color: #ccc;
    --danger: #dc3545;
    --info: #17a2b8;
    --success: #28a745;
  }
}


body {
    font-family: var(--font-secondary);
    font-size: var(--font-scale);
    margin: auto;
    padding: 20px;
    max-width: var(--width);
    text-align: left;
    background-color: var(--background-color);
    word-wrap: break-word;
    overflow-wrap: break-word;
    line-height: 1.5;
    color: var(--text-color);
}

h1, h2, h3, h4, h5, h6 {
    font-family: var(--font-main);
    color: var(--heading-color);
}

a {
    color: var(--link-color);
    cursor: pointer;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

nav a {
    margin-right: 8px;
}

strong, b {
    color: var(--heading-color);
}

button {
    margin: 0;
    cursor: pointer;
}

main {
    line-height: 1.6;
}

table {
    width: 100%;
}

hr {
    border: 0;
    border-top: 1px dashed;
}

p {
    color: var(--main);
}

code {
    font-family: monospace;
    padding: 2px;
    background-color: var(--code-background-color);
    color: var(--code-color);
    border-radius: 3px;
}

.inline {
    width: auto !important;
}

/* TODO: Can we get rid of the pre generated by rouge. */

.highlighter-rouge > .highlight, .code {
    padding: 1px 15px;
    background-color: var(--code-background-color);
    color: var(--code-color);
    border-radius: 3px;
    margin-block-start: 1em;
    margin-block-end: 1em;
    overflow-x: auto;
}

blockquote {
    border-left: 1px solid #999;
    color: var(--code-color);
    padding-left: 20px;
    font-style: italic;
}

footer {
    padding: 25px 0;
    text-align: center;
}

.title:hover {
    text-decoration: none;
}

.title h1 {
    font-size: 1.5em;
}

img {
    max-width: 100%;
}

img.centered {
    display: block;
    margin-left: auto;
    margin-right: auto;
}

.badge {
    color: #ffffff;
    display: inline-block;
    padding: 0.25em .4em;
    font-size: 75%;
    font-weight: 700;
    line-height: 1;
    text-align: center;
    white-space: nowrap;
    vertical-align: baseline;
    border-radius: .25rem;
}

.badge-danger {
    background-color: var(--danger);
}

.badge-info {
    background-color: var(--info);
}

.badge-success {
    background-color: var(--success);
}