:root {
  /* if the system has DejaVu, that looks better, but I provide vera bitstream
   * instead as fallback because it's smaller
   * ideally I'd like to just use 'sans' and 'serif', but the defaults on windows look bad */
  --my-serif-font: 'DejaVu Serif', 'vera-serif';
  --my-sans-font:  'DejaVu Sans', 'vera-sans';
}

html,
body {
  margin: 0;
  padding: 0;
  position: relative;
  background: #000;
  /*background: #0f0f0f;*/
  color: #a0a0a0;
}

body {
  font-family: var(--my-serif-font), serif;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  -moz-font-feature-settings: "liga" on;
}

h1 {
  /* revolutionary idea: h1 and h2 shouldn't look the same */
  font-size: 1.8em;
  padding-top: 40px;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: var(--my-sans-font), sans-serif;
  color: #666;
}

h1 /*, h2, h3 */ {
  text-align: center;
}


a {
  outline: none;
  color: #c0c0c0;
}

.header {
  padding: 15px 0;
  position: relative;
  
  background: #0f0f0f;
   
  /*background: #f5f5f5;
  background: #000;
  /* border-bottom: 1px solid #eaeaea; */
}

code {
  hyphens: none; /* breaking inline-code sections with hyphens looks bad */
  background: #222;

  padding: 2px 3px 2px 3px;
  border-radius: 3px;
  color: #a4a4a4;
  
  /*font-family: 'Source Code Pro', monospace;
  font-size: 16px;
 
  /*font-size: 100%;*/
}

.nav {
  max-width: 800px;
  margin: 0 auto;
  padding: 0 15px;
  font-family: var(--my-sans-font), sans-serif;
  text-align: center;
}

.nav-links {
  margin: 0;
  padding: 0;
  font-size: 18px;
  list-style-type: disc;
  list-style-position: outside;
}

.nav-links li {
  display: inline-block;
  margin: 0 0 0 15px;
}

.nav-links li:first-child {
  margin-left: 0;
}

.nav-links a {
  text-decoration: none;
}

.nav-links a:hover {
  text-decoration: underline;
  color: #fff;
}

.content {
  width: 800px;
  max-width: 92%;
  font-size: 18px;
  line-height: 1.7;
  color: #999;
  margin-left:auto;
  margin-right:auto;
  hyphens: auto;
}

.screenshots {
  width: 1200px;
  max-width: 90%;
  margin-left:auto;
  margin-right:auto;
}

.content table {
  /* make sure the tables don't change page width on smartphones
   * by making them scrollable */
  margin: auto;
  border-collapse: collapse;
  overflow-x: auto;
  display: block;
  width: fit-content;
  max-width: 100%;
}

.content .headinglink {
  color: #222;
  text-decoration: none;
}

.content .headinglink:hover,
.content .headinglink:focus {
  
  color: #777;
  text-decoration: underline;
}

@media (min-width: 880px) {

  /* if there's some margin on the left, move the heading link
   * to the left so the heading itself is roughly where it would be
   * without the "# " link */
  .content .headinglink {
    margin-left: -1em;
  }

  .header {
    padding: 15px 0;
  }
}

@media (max-width: 520px) {
  .screenshots img {
    width: 100%;
    height: auto;
  }

  .content {
    font-size: 16px;
  }
}