@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;
}

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

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

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

.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;
}

.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;
}