body {
  font-family: sans-serif;
  background: whitesmoke;
  margin: 0;
  padding: 10px
}

#content {
  background-color: white;
  border: 1px solid lightgray;
  margin: 0 auto 20px auto;
  padding: 10px 40px;
  min-height: 20px;
  max-width: 800px;
}

@media screen and (max-width: 800px) {
  body {
    padding: 0
  }
  #content {
    padding: 10px 20px;
  }
}

.header-block {
  text-align: center
}

.author-block .author {
  display: inline-block;
  margin: 0 8px
}

.header-image {
  margin: 20px
}

.header-image img {
  max-height: 400px
}

video {
  margin: 0 auto;
  display: block;
}

h1 {
  margin-bottom: -10px
}

h2 {
  padding-top: 15px
}

h3 {
  margin-top: 20px;
  margin-bottom: 6px;
}

h4 {
  margin-bottom: 6px;
}

hr {
  margin-top: 20px
}

pre {
  padding: 10px;
  background-color: whitesmoke;
  white-space:pre-wrap
}

table {
  margin-bottom: 10px;
  width: 100%;
  text-align: left;
  border-bottom: 1px solid black;
}

th {
  padding-top: 3px;
  padding-bottom: 3px;
  border-bottom: 1px solid gray;
  font-weight: normal;
}

tr:nth-child(even) {
  background-color: whitesmoke;
}

td {
  padding: 3px 8px;
}

.alert {
  border: 1px solid red;
  background-color: #ffc2aa;
  padding: 10px;
  border-radius: 4px;
}

.button {
  border: 1px solid lightgray;
  background-color: white;
  color: black;
  padding: 5px;
  display: inline-block;
  margin: 2px;
  border-radius: 4px;
  box-shadow: 1px 1px lightgray;
  user-select: none;
  text-decoration: none;
}

.default {
  background-color: rgb(5, 152, 98);
  color: white;
  padding: 10px 20px;
}

.link {
  padding: 5px;
  display: inline-block;
  margin: 2px;
}

.external {
  background-image: url('res/external_icon.png');
  background-position: right center;
  background-repeat: no-repeat;
  background-size: 12px;
  padding-right: 16px;
}

.button:hover {
  background-color: #e6f4ff;
  border-color: #b0bdff;
  cursor: pointer
}

.disabled {
  cursor: not-allowed
}

.disabled:hover {
  border: 1px solid lightgray;
  background-color: white;
}

.default:hover {
  border: 1px solid lightgray;
  background-color: rgb(47, 185, 134);
}