body {
    max-width: 800px;
    margin: auto;
    padding: 1em;
    line-height: 1.5;
    font-family: "DejaVu Serif", serif;
    font-size: 12pt;
}

header {
  font-family: "DejaVu Sans", sans-serif;
}

code {
  font-family: "DejaVu Sans Mono", monospace;
}

.lnt {
    display: flex;
}

pre {
  overflow: auto;
}

.title-nav {
    display: flex;
    align-items: center;
}

.title-nav .title {
    margin: 0 auto 0 0;
    padding: 5px 20px 5px 5px;
    font-size: 18pt;
}

.title-nav a {
    text-decoration: none;
    color: black;
}

header ul {
    padding: 0;
    margin: 0;
}

nav li {
    display: inline-block;
    margin-left: 5px;
}

.menu a {
    padding: 5px 10px;
    border-radius: 10px;
    text-decoration: none;
}

header hr {
    border-style: dashed;
    margin-bottom: 0;
}

.breadcrumb {
  list-style: none;

  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
}

.breadcrumb li {
  display: inline;
  white-space: nowrap;
}

.breadcrumb li + li:before {
  content: ">";
  padding: 0 0.2rem 0 0.3rem;
}

.header-title {
  padding: 20px 0;
  margin: 0;
  background-color: #f4f4f4;
  text-align: center;
  overflow: auto;
}

img {
  margin: 10px;
}

table {
  border-collapse: collapse;
}

td,th {
  border: 1px solid black;
  padding: 5px;
}

table.watches {
    margin: 10px;
}

table.watches td {
    padding: 1px 5px;
}

table.watches tr:first-child td {
    border-top: none;
}

table.watches tr:last-child td {
    border-bottom: none;
}

table.watches td:first-child {
    border-left: none;
    text-align: right;
    padding-right: 10px;
}

table.watches td:last-child {
    border-right: none;
    padding-right: 25px;
}

table.watches td > :not(:last-child) {
    color: #888;
}

pre.watches-output {
    margin: 10px;
}

pre.watches-output div {
    min-width: 30px;
    min-height: 30px;
    display: inline-block;
    border-top: 1px solid black;
    border-left: 1px solid black;
    padding: 3px 20px 20px 5px;
}