@import url("https://fonts.googleapis.com/css?family=Roboto+Mono|Source+Sans+Pro:300,400,600");

.github-corner svg {
  fill: var(--primary-color);
  color: var(--page-background-color);
  width: 72px;
  height: 72px;
}

@media screen and (max-width: 767px) {
  .github-corner svg {
    width: 50px;
    height: 50px;
  }
  #projectnumber {
    margin-right: 22px;
  }
}

.next_section_button {
  display: block;
  padding: var(--spacing-large) 0 var(--spacing-small) 0;
  color: var(--page-background-color);
  user-select: none;
}

.alter-theme-button:hover {
  background: var(--primary-dark-color);
}

html.dark-mode .darkmode_inverted_image img, /* < doxygen 1.9.3 */
html.dark-mode .darkmode_inverted_image object[type="image/svg+xml"] /* doxygen 1.9.3 */ {
  filter: brightness(87%) hue-rotate(180deg) invert();
}

.bordered_image {
  border-radius: var(--border-radius-small);
  border: 1px solid var(--separator-color);
  display: inline-block;
  overflow: hidden;
}

html.dark-mode .bordered_image img, /* < doxygen 1.9.3 */
html.dark-mode .bordered_image object[type="image/svg+xml"] /* doxygen 1.9.3 */ {
  border-radius: var(--border-radius-small);
}

html {
  --primary-color: rgb(66, 185, 131);
  --fragment-link: rgb(66, 185, 131);
  --fragment-keywordflow: rgb(188, 137, 189);
  --spacing-small: 8px;
  --content-maxwidth: 800px;
  --font-family: 'Source Sans Pro', 'Helvetica Neue', Arial, sans-serif;
  --font-family-monospace: 'Roboto Mono', Monaco, courier, monospace;
  --fragment-lineheight: 24px;
}

html.dark-mode {
  --primary-color: #42b983;
  --page-background-color: hsl(210, 12%, 16%);
  --page-foreground-color: hsl(195, 15%, 85%);
  --side-nav-background: hsl(214, 10%, 13%);
  --separator-color: rgba(255,255,255,0.07);
  --tablehead-background: hsl(214, 10%, 13%);
  --code-background: hsl(214, 10%, 13%);
  --fragment-background: hsl(214, 10%, 13%);
  --fragment-link: rgb(66, 185, 131);
  --fragment-keywordflow: rgb(188, 137, 189);
}

div.fragment {
  padding-top: 25px !important;
  padding-bottom: 25px !important;
  padding-left: 20px !important;
  border-radius: 0px;
  border: none;
}

code {
  border-radius: 0px;
  border: none;
}

#projectlogo img {
  max-height: calc(var(--title-font-size) * 1.5) !important;
}

html.light-mode #projectlogo img {
  content: url(logo_small_dark.png);
}

#nav-tree a:hover {
    background: none !important;
}
#nav-tree a:hover > span.arrow {
    background: none !important;
}
