/* -*- css-indent-offset: 2 -*- */

/* Colors */
body {
  background-color: #fafafa;
  color: #333333;
}
a:link {
  color: #333383;
}
a:visited {
  color: #332383;
}
a:hover {
  color: #733353;
}
.navbar, .navbar-header > .navbar-brand, .navbar-nav > li > a {
  background-color: #111111;
  color: #777777;
}


@media (prefers-color-scheme: dark){
  body {
    background-color: #111111;
    color: #888888;
  }
  a:link {
    color: #787898;
  }
  a:visited {
    color: #786898;
  }
  a:hover {
    color: #987878;
  }
  .navbar, .navbar-header > .navbar-brand, .navbar-nav > li > a {
    background-color: #333333;
    color: #779777;
  }
}


/* Make the font size not huge. */
html {
  font-size: 62.5%;
}

/* Don't underline links. */
a {
  text-decoration: none;
}



/* code snippets */
/* Code tags include inline code snippets, code tags inside pre tags are code blocks. */

code,
pre {
  font-family: "DejaVu Sans Mono", Menlo, monospace;
}
code {
  font-size: 90%;
  white-space: nowrap;
  border-radius: 4px;
}
pre {
  font-size: 75%;
  display: block;
  line-height: 1.2;
  word-break: break-all;
  word-wrap: break-word;
  border-radius: 4px;
}
pre code {
  font-size: inherit;
  color: inherit;
  white-space: pre;
  background-color: transparent;
}


/* Get the navbar to be a bar. */
body {
  margin: 0;
}
.navbar li {
  list-style: none;
  padding-left: 15px;
  padding-right: 15px;
  float: left;
}
.navbar header {
  margin-top: 0px;
  margin-left: 0px;
  margin-right: 0px;
}
.navbar {
  position: relative;
  z-index: 1000;
  margin-bottom: 20px;
  border: 1px solid transparent;
  padding-bottom: 20px;
  padding-top: 15px:
}
.navbar:before,
.navbar:after {
  display: table;
  content: " ";
  clear: both;
}
.navbar-fixed-top {
  top: 0;
}
.navbar-brand {
  float: left;
  padding-left: 15px;
  padding-right: 30px;
}


/* page links at the bottom */
.pagination li {
  list-style: none;
  float: left;
  padding-left: 10px;
  padding-right: 10px;
}