html {
  background-color: #fefefe;
  font-family: sans-serif;
  line-height: 1.6;
  text-rendering: optimizeLegibility;
}

body > header,
body > nav,
body > main,
body > footer {
  padding: 0 1rem;
  text-align: left;
}

@media screen {
  body > header,
  body > nav,
  body > main,
  body > footer {
    margin: 2rem auto;
    max-width: 30rem;
  }
}

body > header {
  margin-bottom: 1rem;
}

body > main {
  margin-top: 1rem;
}

body > footer {
  border-top: 1px solid black;
  margin-top: 5rem;
  padding-top: 1rem;
}

a[href] {
  color: #3344dd;
}

a[href]:hover,
a[href]:focus,
a[href]:active {
  color: #bb1122;
}

a[href]:visited {
  color: #884488;
}

h1, h2, h3, h4, h5, h6 {
  line-height: 1.25;
  margin-top: 2rem;
  margin-bottom: 0.8rem;
}

input, select, button {
  padding: 0.5rem;
}

.success, .danger, .warning, .info {
  border-radius: 0.25rem;
  padding: 0.8rem;
}

.success {
  background-color: #28a745;
}

.success, .success a[href]:link {
  color: #fff;
}

.danger {
  background-color: #dc3545;
}

.danger, .danger a[href]:link {
  color: #fff;
}

.warning {
  background-color: #ffc107;
}

.warning, .warning a[href]:link {
  color: #343a40;
}

.info {
  background-color: #17a2b8;
}

.info, .info a[href]:link {
  color: white;
}

aside {
  margin: 0.8rem 0;
}

dt {
  font-style: italic;
}

dd {
  margin: 0.8rem;
}

img {
  max-width: 100%;
}

p, address, li {
  margin: 0 0 0.8rem 0;
}

ul, ol {
  margin-top: 0.8rem;
}

li > p {
  margin-bottom: 0;
}

:target {
  /*background-color: rgb(245, 255, 150);*/
  position: relative;
}

:target:before {
  content: '→';
  font-weight: bold;
  left: -2rem;
  position: absolute;
}

table {
  border-collapse: collapse;
}

tbody th, tbody td {
  padding: 0.8rem 0.5rem;
}

tbody tr:nth-child(even) {
  background-color: #f2f2f2
}

th, th {
  text-align: left;
}

.conspicuous {
  font-style: italic;
  font-weight: bold;
}

table, pre {
  overflow-x: scroll;
}

body > header {
  text-align: center;
}

body > header > h1 {
  margin: 0;
  padding: 0;
}

body > footer {
  font-size: 80%;
  padding-top: 0.5rem;
  text-align: right;
}

pre {
  font-size: 70%;
  overflow-x: scroll;
  white-space: pre-wrap;
}

ins {
  color: darkgreen;
  text-decoration: underline;
}

del {
  color: darkred;
  text-decoration: line-through;
}

ins.move, del.move {
  color: darkorange;
}

table {
  margin: 1rem 0;
}

th, td {
  background-color: white !important;
}

ul {
  margin-left: 0;
  padding-left: 1rem;
}

.download {
  text-align: center;
  margin-bottom: 1rem;
}

.centered {
  text-align: center;
  margin-bottom: 1rem;
}

a.button[href] {
  background-color: #28a745;
  border-color: #28a745;
  border-radius: 1ex;
  border: 1px solid green;
  color: white;
  cursor: pointer;
  display: inline-block;
  margin: 0 auto;
  padding: 1ex 1.5ex;
  text-align: center;
  text-decoration: none;
  vertical-align: middle;
}

a.button:hover {
  background-color: #218838;
  border-color: #218838;
  color: white;
}

a[href] {
  border-bottom: 1px dashed #999;
  color: black;
  text-decoration: none;
}

#logo {
  border: none;
}

#logo img {
  width: 10rem;
}