@font-face {
    font-family: 'Roboto';
    font-style: normal;
    font-weight: 400;
    font-stretch: 100%;
    font-display: swap;
    src: url('/assets/fonts/roboto-latin.woff2') format('woff2');
    unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6,
                   U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F,
                   U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF,
                   U+FFFD;
}

body {
    font-family: 'Roboto', sans-serif;
    margin: 80px auto;
    max-width: 800px;
    line-height: 1.6;
    color: #444;
    padding: 0 10px;
}

a {
    color: #0047ab;
    text-decoration: none;
    text-decoration-thickness: 1px;
    text-underline-offset: 2px;
    transition: color 0.3s ease;
}

a:hover {
    color: #003380;
    text-decoration: underline;
}

h1, h2, h3, h4, h5 {
    font-family: 'Roboto', sans-serif;
    line-height: 1.2;
}

.title {
    margin-bottom: 0.2em;
    text-align: center;
}

.subtitle {
    font-size: medium;
    font-weight: bold;
    margin-top: 0;
    text-align: center;
}

.todo, .done, .priority, .tag {
    font-family: monospace;
}

.todo { color: red; }
.done { color: green; }
.priority { color: orange; }

.tag {
    background-color: #eee;
    font-size: 80%;
    font-weight: normal;
    padding: 2px;
}

.timestamp { color: #bebebe; }
.timestamp-kwd { color: #5f9ea0; }
.underline { text-decoration: underline; }

.org-right { margin-left: auto; margin-right: 0; text-align: right; }
.org-left { margin-left: 0; margin-right: auto; text-align: left; }
.org-center { margin-left: auto; margin-right: auto; text-align: center; }

#postamble p, #preamble p {
    font-size: 90%;
    margin: 0.2em;
}

p.verse { margin-left: 3%; }

pre {
    background-color: #f2f2f2;
    border: 1px solid #e6e6e6;
    border-radius: 3px;
    font-family: monospace;
    font-size: 12px;
    margin: 1.2em;
    overflow: auto;
    padding: 8pt;
}

pre.src {
    position: relative;
    padding-top: 1.2em;
    overflow: auto;
}

pre.src::before {
    background-color: rgba(242, 242, 242, 0.6);
    color: #555;
    content: attr(data-language);
    display: none;
    padding: 3px;
    position: absolute;
    right: 12px;
    top: 6px;
}

pre.src:hover::before {
    display: inline;
}

pre.src.hljs {
    background-color: #f2f2f2;
}

dt {
  font-weight: bold;
  margin-top: 1em;
}

table { border-collapse: collapse; }
caption.t-above { caption-side: top; }
caption.t-bottom { caption-side: bottom; }
td, th { vertical-align: top; }
th.org-right, th.org-left, th.org-center { text-align: center; }
td.org-right { text-align: right; }
td.org-left { text-align: left; }
td.org-center { text-align: center; }

.footpara { display: inline; }
.footdef { margin-bottom: 1em; }

.figure { padding: 1em; }
.figure p { text-align: center; }

.equation-container {
  display: table;
  text-align: center;
  width: 100%;
}

.equation { vertical-align: middle; }

.equation-label {
  display: table-cell;
  text-align: right;
  vertical-align: middle;
}

.inlinetask {
  background: #ffffcc;
  border: 2px solid gray;
  margin: 10px;
  padding: 10px;
}

#org-div-home-and-up {
  font-size: 70%;
  text-align: right;
  white-space: nowrap;
}

textarea { overflow-x: auto; }
.linenr { font-size: smaller; }
.code-highlighted { background-color: #ffff00; }

.topnav {
  display: flow-root;
  background-color: white;
  position: fixed;
  top: 0;
  width: 800px;
  border-bottom: 1px solid #444;
  z-index: 99999;
}

.topnav > a,
.topnav-button,
.topnav-right a {
  font-family: 'Roboto', sans-serif;
  float: left;
  font-weight: bold;
  display: block;
  text-align: center;
  padding: 10px 10px;
  text-decoration: none;
  font-size: 17px;
  color: #444;
}

.topnav-button {
  background: white;
  border: 0;
  cursor: pointer;
  float: none;
  line-height: inherit;
  list-style: none;
}

.topnav-button::-webkit-details-marker {
  display: none;
}

.topnav > a:hover,
.topnav-button:hover,
.topnav-button:focus-visible,
.topnav-right a:hover {
  background: #ddd;
  color: black;
}

.topnav-dropdown {
  float: left;
  position: relative;
}

.topnav-dropdown-menu {
  background: white;
  border: 1px solid #444;
  display: none;
  min-width: 100%;
  position: absolute;
  top: 100%;
  left: 0;
}

.topnav-dropdown[open] .topnav-dropdown-menu {
  display: block;
}

.topnav-dropdown-menu a {
  display: block;
  font-family: 'Roboto', sans-serif;
  font-size: 17px;
  font-weight: bold;
  padding: 8px 10px;
  text-decoration: none;
  white-space: nowrap;
  color: #444;
}

.topnav-dropdown-menu a:hover,
.topnav-dropdown-menu a:focus-visible {
  background: #ddd;
  color: black;
}

.topnav-right {
  float: right;
}

.image-shadow {
  box-shadow: 0 4px 12px rgba(0, 0, 0, 0.15);
  border-radius: 4px;
  display: inline-block;
}