@font-face {
  font-family: 'Source Sans 3';
  font-style: normal;
  font-display: swap;
  font-weight: 100;
  src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype");
}

@font-face {
  font-family: 'Source Sans 3';
  font-style: normal;
  font-display: swap;
  font-weight: 200;
  src: local("Source Sans 3 ExtraLight"), local("SourceSans3-ExtraLight"), url("/fonts/static/SourceSans3-ExtraLight.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraLight.ttf") format("truetype");
}

@font-face {
  font-family: 'Source Sans 3';
  font-style: normal;
  font-display: swap;
  font-weight: 300;
  src: local("Source Sans 3 Light"), local("SourceSans3-Light"), url("/fonts/static/SourceSans3-Light.woff2") format("woff2"), url("/fonts/static/SourceSans3-Light.ttf") format("truetype");
}

@font-face {
  font-family: 'Source Sans 3';
  font-style: normal;
  font-display: swap;
  font-weight: 400;
  src: local("Source Sans 3 Regular"), local("SourceSans3-Regular"), url("/fonts/static/SourceSans3-Regular.woff2") format("woff2"), url("/fonts/static/SourceSans3-Regular.ttf") format("truetype");
}

@font-face {
  font-family: 'Source Sans 3';
  font-style: italic;
  font-display: swap;
  font-weight: 400;
  src: local("Source Sans 3 Italic"), local("SourceSans3-Italic"), url("/fonts/static/SourceSans3-Italic.woff2") format("woff2"), url("/fonts/static/SourceSans3-Italic.ttf") format("truetype");
}

@font-face {
  font-family: 'Source Sans 3';
  font-style: normal;
  font-display: swap;
  font-weight: 500;
  src: local("Source Sans 3 Medium"), local("SourceSans3-Medium"), url("/fonts/static/SourceSans3-Medium.woff2") format("woff2"), url("/fonts/static/SourceSans3-Medium.ttf") format("truetype");
}

@font-face {
  font-family: 'Source Sans 3';
  font-style: normal;
  font-display: swap;
  font-weight: 600;
  src: local("Source Sans 3 SemiBold"), local("SourceSans3-SemiBold"), url("/fonts/static/SourceSans3-SemiBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-SemiBold.ttf") format("truetype");
}

@font-face {
  font-family: 'Source Sans 3';
  font-style: normal;
  font-display: swap;
  font-weight: 700;
  src: local("Source Sans 3 Bold"), local("SourceSans3-Bold"), url("/fonts/static/SourceSans3-Bold.woff2") format("woff2"), url("/fonts/static/SourceSans3-Bold.ttf") format("truetype");
}

@font-face {
  font-family: 'Source Sans 3';
  font-style: italic;
  font-display: swap;
  font-weight: 700;
  src: local("Source Sans 3 Bold Italic"), local("SourceSans3-BoldItalic"), url("/fonts/static/SourceSans3-BoldItalic.woff2") format("woff2"), url("/fonts/static/SourceSans3-BoldItalic.ttf") format("truetype");
}

@font-face {
  font-family: 'Source Sans 3';
  font-style: normal;
  font-display: swap;
  font-weight: 800;
  src: local("Source Sans 3 ExtraBold"), local("SourceSans3-ExtraBold"), url("/fonts/static/SourceSans3-ExtraBold.woff2") format("woff2"), url("/fonts/static/SourceSans3-ExtraBold.ttf") format("truetype");
}

@font-face {
  font-family: 'Source Sans 3';
  font-style: normal;
  font-display: swap;
  font-weight: 900;
  src: local("Source Sans 3 Black"), local("SourceSans3-Black"), url("/fonts/static/SourceSans3-Black.woff2") format("woff2"), url("/fonts/static/SourceSans3-Black.ttf") format("truetype");
}

@font-face {
  font-family: 'Source Code Pro';
  font-style: normal;
  font-display: swap;
  font-weight: 600;
  src: local("Source Code Pro Medium"), local("SourceCodePro-Medium"), url("/fonts/static/SourceCodePro-Medium.woff2") format("woff2"), url("/fonts/static/SourceCodePro-Medium.ttf") format("truetype");
}

@font-face {
  font-family: 'Source Code Pro';
  font-style: italic;
  font-display: swap;
  font-weight: 600;
  src: local("Source Code Pro Medium Italic"), local("SourceCodePro-MediumItalic"), url("/fonts/static/SourceCodePro-MediumItalic.woff2") format("woff2"), url("/fonts/static/SourceCodePro-MediumItalic.ttf") format("truetype");
}

* {
  font-family: 'Source Sans 3', sans-serif;
}

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

/* _layout.sass */
/* Variables */
html {
  background: #0a0c11;
}

/* Base Layout */
body {
  background: #10131a;
  color: #ffffff;
  font-family: 'Segoe UI', 'Helvetica Neue', Arial, sans-serif;
  width: 100%;
  height: 100%;
  max-width: 1024px;
  margin: 1.5rem auto;
  padding: 1.5rem;
  box-sizing: border-box;
  border-radius: 8px;
}

header {
  background: #1a1e29;
  margin: 1.5rem;
  padding: 1.5rem;
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  border-radius: 8px;
  margin: 0 auto;
}

header h1, header h1 a {
  margin: 0;
  font-size: 1.6rem;
  font-weight: 900;
  color: #ffffff;
  text-decoration: none;
  padding: 0;
  transition: color 0.4s ease-in-out;
}

header h1:hover, header h1:focus, header h1 a:hover, header h1 a:focus {
  color: #6fffd2;
}

nav {
  display: flex;
  gap: 1.5rem;
  align-items: center;
}

nav ul {
  list-style: none;
  margin: 0;
  padding: 0;
  display: flex;
  gap: 0.5rem;
  flex-wrap: wrap;
}

nav ul li {
  margin: 0;
  padding: 0;
}

nav ul li a {
  padding: 0.4rem 0.6rem;
  border-radius: 8px;
  background: #1a3e70;
  color: #ffffff;
  text-decoration: none;
  font-weight: 500;
  transition: background 0.4s ease-in-out;
}

nav ul li a:hover, nav ul li a:focus {
  background: #00897b;
  color: #ffffff;
}

@media (max-width: 600px) {
  header {
    flex-direction: column;
    align-items: flex-start;
    gap: 1.5rem;
  }
  nav {
    width: 100%;
    justify-content: flex-start;
    margin-top: 1.5rem;
  }
}

main {
  margin: 1.5rem 0;
  padding: 1.5rem;
}

footer {
  background: #1a1e29;
  margin: 1.5rem;
  padding: 1.5rem;
  border-radius: 8px;
  margin: 0 auto;
  text-align: center;
}

footer p {
  margin: 0;
  font-size: 0.9rem;
  color: #bfc9e6;
  text-align: center;
}

section {
  border-bottom: 3px solid #1a1e29;
  margin: 2rem 0;
  padding-bottom: 2rem;
}

#page-header {
  border-bottom: 3px solid #1a1e29;
  margin: 2rem 0;
  padding-bottom: 2rem;
  text-align: center;
}

#page-header h1 {
  margin: 0;
  width: 100%;
  font-size: 3rem;
  word-break: break-word;
}

#page-header .subtitle {
  margin: 0;
  width: 100%;
  font-size: 1.2rem;
  font-weight: 300;
  color: #bfc9e6;
}

.time {
  font-size: 0.8rem;
  color: #bfc9e6;
  text-align: center;
}

#tool-cards {
  display: flex;
  flex-wrap: wrap;
  gap: 1.5rem;
}

#tool-cards > article {
  flex: 1 1 48%;
  min-width: 300px;
  max-width: 48%;
  box-sizing: border-box;
}

@media (max-width: 900px) {
  #tool-cards > article {
    flex-basis: 100%;
    max-width: 100%;
  }
}

article {
  background: #1a1e29;
  border-radius: 8px;
  padding: 1rem 1.5rem;
  transition: background 0.5s ease-in-out;
}

article:hover, article:focus {
  background: #1a3e70;
}

article h3 {
  margin: 0;
  font-size: 1.5rem;
  font-weight: 700;
  color: #ffffff;
}

article a {
  color: #ffffff;
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
  height: 100%;
  z-index: 1;
  text-indent: -9999px;
  overflow: hidden;
  text-decoration: none;
  transition: color 0.3s ease-in-out;
}

article a:hover, article a:focus {
  color: #6fffd2;
}

article:not(a) {
  position: relative;
  z-index: 2;
}

article p {
  margin: 0.5rem 0;
  font-size: 1rem;
  color: #ffffff;
  font-weight: 300;
}

article .subtitle {
  margin: 0 0 0 0.5rem;
  width: 100%;
  font-size: 1.1rem;
  font-weight: 300;
  color: #bfc9e6;
}

.term-title {
  font-weight: 700;
  padding: 0.3rem 0.8rem;
  margin-bottom: 0.5rem;
  border-radius: 8px;
}

p code {
  background: #102747;
  margin: 0 0.2rem;
  padding: 0.2rem 0.4rem;
  border-radius: 5px;
  font-size: 0.8rem;
}

pre {
  padding: 0.5rem;
  border-radius: 5px;
  overflow-x: auto;
}

pre code {
  font-size: 0.8rem;
}

.banner {
  position: fixed;
  top: 0;
  width: 100%;
  max-width: 1024px;
  background-color: #1de9b6;
  color: #0a0c11;
  padding: 5px 0;
  font-weight: 400;
  text-align: center;
  font-size: 1.1em;
  border-radius: 0 0 8px 8px;
  z-index: 1000;
  font-size: 0.9rem;
  height: 1.3rem;
  margin-left: calc(0% - 1.5rem);
}

.banner a {
  color: #0a0c11;
  text-decoration: underline;
  font-weight: 700;
  transition: color 0.3s ease-in-out;
}

.banner a:hover, .banner a:focus {
  color: #1a3e70;
}

body:has(.banner) {
  margin-top: 2.6rem;
}

@media (max-width: 600px) {
  .banner {
    position: absolute;
    top: 0;
    width: calc(100% - 1.5rem);
    max-width: 1024px;
    background-color: #1de9b6;
    color: #0a0c11;
    padding: 5px;
    font-weight: 400;
    text-align: center;
    font-size: 1.1em;
    border-radius: 0 0 8px 8px;
    z-index: 1000;
    font-size: 0.9rem;
    height: 4.3rem;
    margin-left: calc(0% - 1.5rem);
  }
  .banner .banner-text {
    display: block;
    margin: 0 5px;
  }
  body:has(.banner) {
    margin-top: 5.6rem;
  }
}

table#taxonomy-table {
  width: 100%;
  border-collapse: collapse;
  box-sizing: border-box;
  background: #1a1e29;
  text-align: left;
}

table#taxonomy-table tr {
  border-bottom: 3px solid #10131a;
}

table#taxonomy-table tr:nth-child(even) {
  background: #161923;
  transition: background 0.4s ease-in-out;
}

table#taxonomy-table tr:nth-child(odd) {
  background: #202532;
  transition: background 0.4s ease-in-out;
}

table#taxonomy-table tr:hover, table#taxonomy-table tr:focus {
  background: #3a4054;
}

table#taxonomy-table thead {
  text-align: left;
  border: none;
  border-radius: 8px 8px 0 0;
}

table#taxonomy-table th {
  color: #ffffff;
  background: #0a0c11 !important;
  padding: 0.6rem 0.6rem;
  text-align: left;
  font-weight: 600;
  border: none;
}

table#taxonomy-table td {
  padding: 0.3rem 0.6rem;
  text-align: left;
  font-weight: 600;
  border: none;
}

table#taxonomy-table td.description {
  font-weight: 300;
  color: #bfc9e6;
}

table#taxonomy-table td.tool {
  min-width: 100px;
}

table#taxonomy-table a.term-link {
  padding: 0.2rem 0.6rem;
  margin: 0.2rem;
  display: inline-block;
  border-radius: 8px;
  text-decoration: none;
  font-weight: 500;
  color: #ffffff;
  transition: color 0.4s ease-in-out, background 0.4s ease-in-out;
}

table#taxonomy-table a.term-link:hover, table#taxonomy-table a.term-link:focus {
  color: #0a0c11 !important;
  background: #bfc9e6 !important;
}

table#taxonomy-table a.taxonomy-name {
  padding: 0;
  margin: 0.2rem;
  display: inline-block;
  border-radius: 8px;
  text-decoration: none;
  font-weight: 500;
  color: #ffffff;
  transition: color 0.4s ease-in-out;
}

table#taxonomy-table a.taxonomy-name:hover, table#taxonomy-table a.taxonomy-name:focus {
  color: #6fffd2;
}

table#taxonomy-table a {
  color: #ffffff;
  text-decoration: none;
}

table#taxonomy-table a:hover, table#taxonomy-table a:focus {
  color: #1de9b6;
}

#taxonomy-page a.term-link {
  padding: 0.3rem 1.2rem;
  margin: 0.2rem;
  display: inline-block;
  border-radius: 8px;
  text-decoration: none;
  font-weight: 500;
  font-size: 1.2rem;
  color: #ffffff;
  transition: color 0.4s ease-in-out, background 0.4s ease-in-out;
}

#taxonomy-page a.term-link:hover, #taxonomy-page a.term-link:focus {
  color: #0a0c11 !important;
  background: #bfc9e6 !important;
}

/* _text.sass */
a {
  color: #6fffd2;
  text-decoration: underline;
  transition: color 0.3s ease-in-out;
}

a:hover, a:focus {
  color: #3380ff;
}

#quick-links {
  text-align: left;
}

#link-list {
  display: flex;
  gap: 1.5rem;
  align-items: center;
  flex-wrap: wrap;
  margin: 2rem 0 1.5rem 0;
  justify-content: center;
}

#link-list h2 {
  flex: none;
}

#link-list ul {
  list-style: none;
  margin: 0;
  padding: 0;
  display: flex;
  gap: 1rem;
  flex-wrap: wrap;
}

#link-list ul li {
  margin: 0;
  padding: 0;
}

#link-list ul li a {
  padding: 0.3rem 0.6rem;
  border-radius: 8px;
  background: #8fc6ff;
  color: #0a0c11;
  text-decoration: none;
  font-weight: 500;
  transition: background 0.3s ease-in-out;
}

#link-list ul li a:hover, #link-list ul li a:focus {
  background: #6fffd2;
}

a.button {
  padding: 0.3rem 0.6rem;
  margin: 0 0.2rem;
  border-radius: 8px;
  background: #8fc6ff;
  color: #0a0c11;
  text-decoration: none;
  font-weight: 500;
  transition: background 0.3s ease-in-out;
}

a.button:hover, a.button:focus {
  background: #6fffd2;
}

#publications {
  font-weight: 300;
}

#publications ul {
  list-style: none;
  margin: 0;
  padding: 0;
  display: flex;
  flex-direction: column;
  gap: 1em;
}

#publications ul li {
  background: #1a1e29;
  border-radius: 8px;
  padding: 1em 1.5em;
}

#publications a {
  color: #8fc6ff;
  text-decoration: none;
  font-weight: 100;
  transition: color 0.3s ease-in-out;
}

#publications a:hover, #publications a:focus {
  color: #6fffd2;
}

/*# sourceMappingURL=styles.css.map */