@import 'colors';

a {
  text-decoration: none;

  @media (prefers-color-scheme: dark) {
    color: @dark-primary;

    &:visited {
      color: darken(@dark-primary, 10%);
    }
  }

  @media (prefers-color-scheme: light) {
    color: @light-primary;

    &:visited {
      color: darken(@light-primary, 10%);
    }
  }

  &:hover {
    text-decoration: underline;
  }

  img {
    border: none;
  }
}

body {
  border: 0;
  font-family: "PT Sans", "Liberation Sans", "DejaVu Sans", "Tahoma", "Verdana", "Arial", sans-serif;
  font-size: 15pt;
  margin: 0;
  padding: 0;
  line-height: 160%;

  @media (prefers-color-scheme: dark) {
    background-color: @dark-background;
    color: @dark-foreground;
  }

  @media (prefers-color-scheme: light) {
    background-color: @light-background;
    color: @light-foreground;
  }
}

h1 {
  font-size: 1.6rem;
}

h2 {
  font-size: 1.5rem;
}

h3 {
  font-size: 1.4rem;
}

h4 {
  font-size: 1.3rem;
  font-weight: bold;
}

h5 {
  font-size: 1.2rem;
  font-weight: bold;
}

h6 {
  font-size: 1.1rem;
  font-weight: bold;
}

pre {
  font-family: "Fantasque Sans Mono", "PT Mono", "Liberation Mono", "DejaVu Sans Mono", "Courier new", monospace;
  font-size: 14pt;
  line-height: 100%;
}