* {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
}

@charset "UTF-8";

@font-face {
  font-family: "et-book";
  src: url("et-book/et-book-roman-line-figures/et-book-roman-line-figures.eot");
  src: url("et-book/et-book-roman-line-figures/et-book-roman-line-figures.eot?#iefix") format("embedded-opentype"), url("et-book/et-book-roman-line-figures/et-book-roman-line-figures.woff") format("woff"), url("et-book/et-book-roman-line-figures/et-book-roman-line-figures.ttf") format("truetype"), url("et-book/et-book-roman-line-figures/et-book-roman-line-figures.svg#etbookromanosf") format("svg");
  font-weight: normal;
  font-style: normal
}

@font-face {
  font-family: "et-book";
  src: url("et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.eot");
  src: url("et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.eot?#iefix") format("embedded-opentype"), url("et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.woff") format("woff"), url("et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.ttf") format("truetype"), url("et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.svg#etbookromanosf") format("svg");
  font-weight: normal;
  font-style: italic
}

@font-face {
  font-family: "et-book";
  src: url("et-book/et-book-bold-line-figures/et-book-bold-line-figures.eot");
  src: url("et-book/et-book-bold-line-figures/et-book-bold-line-figures.eot?#iefix") format("embedded-opentype"), url("et-book/et-book-bold-line-figures/et-book-bold-line-figures.woff") format("woff"), url("et-book/et-book-bold-line-figures/et-book-bold-line-figures.ttf") format("truetype"), url("et-book/et-book-bold-line-figures/et-book-bold-line-figures.svg#etbookromanosf") format("svg");
  font-weight: bold;
  font-style: normal
}

html {
  scroll-behavior: smooth;
}

body {
  font-family: "et-book";
  font-size: 18pt;
  background-color: #151515;
  color: #ddd;
  width: 84%;
  padding: 0 8% 0 8%;
  margin: 0 auto;
}

header {
  margin-bottom: 1.1em;
}

footer {
  color: #888;
  margin-top: 1.1em;
  padding: 30px 0;
}

a {
  text-decoration: none;
  background-color: transparent;
  color: #ddd;
}

.accent-link {
  color: #D93838;
}

.accent-link:hover {
  text-decoration: underline;
}

.logo {
  font-weight: bold;
  margin-top: 20px;
  margin-bottom: 8px;
  font-size: 38pt;
}

.section-name {
  font-weight: bold;
  margin-top: 15px;
  margin-bottom: 12px;
  font-size: 28pt;
}

.article-container, .project-container {
  margin-bottom: 1.5em;
}

.article-desc {
  color: #aaa;
}

.article-title {
  font-weight: bold;
  margin-top: 1em;
  margin-bottom: 0.8em;
  font-size: 28pt;
}

.article-sub-title {
  font-weight: bold;
  margin-top: 1.2em;
  margin-bottom: .8em;
  font-size: 22pt;
}

.project-container {
  display: flex;
}

.project-container-image {
  width: 30%;
  overflow: hidden;
}

.project-container-image img {
  display: block;
  width: 60%;
  margin: 0 auto;
}

.project-container-desc {
  width: 68%;
  padding: 2%;
}

.nav-menu {
  margin-top: .8em;
}

.nav-menu li {
  list-style: none;
  display: inline;
}

.nav-menu li:not(:first-child)::before {
  content: " | ";
  padding: .35em;
}

article p {
  text-align: justify;
  margin-bottom: 1.2em;
}

article pre {
  margin-bottom: 1.6em;
  font-size: 16pt;
}

.fig-img {
  width: 45%;
  margin-bottom: 1.2em;
}

.video-holder {
  text-align: center;
  margin-bottom: 1.2em;
}

.video-holder video {
  width: 65%;
}

@media (max-width: 1450px) {
  article pre {
    font-size: 12pt;
  }
}

@media (max-width: 950px) {
  .project-container {
    display: block;
  }
  
  .project-container-image {
    width: 100%;
    padding: 0;
  }

  .project-container-image img {
    width: 55%;
  }

  .fig-img {
    width: 80%;
  }
  
  .video-holder video {
    width: 90%;
  }
  
  .project-container-desc {
    width: 100%;
    padding: 0;
    margin-top: 1.2em;
  }
}

@media (max-width: 500px){
  body {
    width: 94%;
    margin: 0 2% 0 2%;
  }
  
  article p {
    font-size: 16pt;
  }
  
  .logo {
    font-size: 32pt;
  }
  
  .section-name {
    font-size: 22pt;
  }
  
  .katex {
    font-size: 14pt;
  }
}