@font-face {
  font-family: "TeX Gyre Pagella";
  font-weight: normal;
  font-style: normal;
  font-display: swap;
  src: url("https://cdn.isaac.run/brand/carattere/TeXGyrePagella-Regular.woff2") format("woff2");
}

@font-face {
  font-family: "TeX Gyre Pagella";
  font-weight: bold;
  font-style: normal;
  font-display: swap;
  src: url("https://cdn.isaac.run/brand/carattere/TeXGyrePagella-Bold.woff2") format("woff2");
}

@font-face {
  font-family: "TeX Gyre Pagella";
  font-weight: normal;
  font-style: italic;
  font-display: swap;
  src: url("https://cdn.isaac.run/brand/carattere/TeXGyrePagella-Italic.woff2") format("woff2");
}

@font-face {
  font-family: "TeX Gyre Pagella";
  font-weight: bold;
  font-style: italic;
  font-display: swap;
  src: url("https://cdn.isaac.run/brand/carattere/TeXGyrePagella-BoldItalic.woff2") format("woff2");
}
/* Fonts available under the GUST Font License <https://www.gust.org.pl/projects/e-foundry/licenses/GUST-FONT-LICENSE.txt/view>
   For the purposes of the LaTeX Project Public License, these fonts are a "Compiled Work" based on the original Work of the
   TeX Gyre maintainers and contributors. The woff2 files have been built from the source Spline Font Database files. */

:root {
  --isaac-blue: #0E4385;
  --logy-lightblue: rgb(179, 236, 252);
  --isaac-red: #C52947;
  --minimal-background: antiqueWhite;
  --lec-brown: rgb(81, 52, 36);
}

::selection {
  background-color: var(--logy-lightblue);
}

html {
  font-family: "TeX Gyre Pagella", "Palatino", "Times New Roman", serif;
  text-wrap: pretty;
  background-color: var(--minimal-background);
  color: var(--lec-brown);
}

body {
  margin-top: 0;
  margin-bottom: 0;
  max-width: 750px;
  margin-inline: auto;
  padding: 10px;
  padding-top: 0;
}

h1 {
  padding-top: 10px;
  text-decoration-line: underline;
  text-decoration-color: var(--isaac-blue);
  text-decoration-style: solid;
}

h2 {
  text-decoration-line: underline;
  text-decoration-color: var(--isaac-red);
  text-decoration-style: solid;
}

h3 {
  text-decoration-line: underline;
  text-decoration-color: var(--isaac-blue);
  text-decoration-style: double;
}

table {
  border: 1px solid var(--lec-brown);
  margin-inline: auto;
  border-collapse: separate;
  border-radius: 10px;
  border-spacing: 0;
}

td, th {
  border-bottom: 1px solid var(--lec-brown);
  text-align: left;
  padding: 8px;
}

td:first-child {font-feature-settings: "tnum" 1;}
tr:last-child th {border-bottom: 0px;}
tr:hover {background-color: var(--logy-lightblue);}

.btm-row td {
  /* https://stackoverflow.com/a/24268998 "The sorcery of CSS" */
  border-bottom: none;
}

.btm-left {border-radius: 0 0 0 9px;}
.btm-right {border-radius: 0 0 9px 0;}
.top-left {border-radius: 9px 0 0 0;}
.top-right {border-radius: 0 9px 0 0;}
.table {overflow-x: auto;}

p {
  line-height: 1.5;
  margin-block: 1lh;
}

a {
  color: var(--isaac-red);
}

li {
  line-height: 1.5;
}

.clref {text-align: center;}
.clfooter {margin-top: 1lh;}
.climg {
  max-width: 31px;
  display: block;
  margin-inline: auto;
  margin-top: 1em;
  margin-block-end: -1lh;
}
.clmain {
  margin-block: 1lh;
}

caption {
  margin-top: .5lh;
  margin-left: 5px;
  caption-side: bottom;
  text-align: left;
}

mark {
  background-color: var(--logy-lightblue);
  color: var(--lec-brown);
  font-style: italic;
}

hr {
  border: 1px solid var(--lec-brown);
}

.badges img {
  image-rendering: pixelated;
  width: 88px;
  height: 31px;
  text-decoration: none;
}
.badges {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-around;
  gap: 4px;
}

input {
  border: 1px solid var(--lec-brown);
  border-radius: 5px;
  min-height: 1.3em;
  background-color: var(--minimal-background);
}

label {
  font-weight: bold;
}

input,
textarea,
select {
  border: 2px solid #ddd;
  border-radius: 4px;
  background: #fff no-repeat center center;
  color: #000;
}

:is(input, textarea, select):where(:active:not(:disabled), :focus) {
  border-color: var(--isaac-blue);
  outline: none;
}

:is(input, textarea, select):disabled {
  background: #eee;
  color: #000;
}

input:where([type="checkbox"], [type="radio"]) {
  -webkit-appearance: none;
  appearance: none;
  width: 22px;
  height: 22px;
  vertical-align: top;
  margin: calc(0.75em - 11px) 0.25rem 0 0;
}

input[type="radio"] {
  border-radius: 50%;
}

input[type="checkbox"]:checked {
  background-image: url('https://cdn.isaac.run/brand/fotos/checkbox.svg');
}

input[type="radio"]:checked {
  background-image: url('https://cdn.isaac.run/brand/fotos/radio.svg');
}

input[type="submit"] {
  width: 100px;
height: 40px;
font-weight: bold;
}

input[type=file]::file-selector-button {
  margin-right: 20px;
  border: 2px;
  background: var(--isaac-blue);
  padding: 10px 20px;
  color: #fff;
  cursor: pointer;
}

textarea {
  max-width: 100%;
}

.banner {
  width: 100vw;
  margin-left: calc((750px - 100vw) / 2);
  background-color: black;
  display: flex;
  @media only screen and (max-width: 770px) {
    margin-left: -10px;
  }
}

.banner-text {
  width: 750px;
  margin-inline: auto;
  color: white;
  font-size: small;
  display: flex;
  align-items: center;
  padding-left: 10px;
}

.banner-text > p {
  margin-left: 10px;
  margin-top: 3px;
  margin-bottom: 3px;
}

.banner-text a {
  color: white;
}

.banner-img {
  height: 1em;
  width: 1em;
  align-self: center;
}