@import url("https://fonts.googleapis.com/css2?family=Source+Code+Pro&display=swap");
@font-face {
  font-family: 'Computer Modern';
  src: url("./fonts/LatinModernMath-Regular.woff") format("woff");
  font-weight: normal;
  font-style: normal;
}

@font-face {
  font-family: 'Computer Modern';
  src: url("./fonts/cmunti-webfont.woff") format("woff");
  font-weight: normal;
  font-style: oblique;
}

::-moz-selection {
  background-color: rgba(255, 217, 0, 0.7);
}

::selection {
  background-color: rgba(255, 217, 0, 0.7);
}

body {
  font-family: 'Computer Modern', serif;
  padding: 0;
  color: #444;
  background-color: white;
}

#home {
  font-weight: bold;
  margin: 10px 0;
  font-size: 18px;
  text-align: center;
  font-size: 24px;
}

#home a {
  color: #444;
}

#home a:hover {
  border-bottom: none;
}

a {
  text-decoration: none;
  color: #5aa8c8;
}

a:hover {
  border-bottom: 1px solid #5aa8c8;
}

code, pre {
  font-family: 'Source Code Pro', monospace;
  font-size: 13px;
}

code {
  padding: 2px;
  border-radius: 3px;
}

pre {
  line-height: 1.3rem;
  overflow: scroll;
  padding-left: 1rem;
  border-left: 6px solid #f3e5e7;
}

.function, code {
  color: #a72339;
}

.keyword {
  color: #5aa8c8;
}

.comment {
  color: grey;
}

.string {
  color: #0faa0f;
}

.number {
  color: #2f8f96;
}

.object {
  color: goldenrod;
}

hr {
  border: none;
  border-top: 1px solid #444;
}

img {
  display: block;
  margin: 5px auto;
  max-width: 100%;
}

h4 {
  border-bottom: 1px solid #ddd;
  padding-bottom: 5px;
}

.center {
  text-align: center;
}

table {
  border-collapse: collapse;
  margin: 1rem 0;
}

tr {
  border-bottom: 1px solid #444;
}
/*# sourceMappingURL=style.css.map */