body {
  margin: 0;
  padding: 0 0 50px;
}

a {
  color: inherit;
}

header {
  position: fixed;
  top: 0;
  left: 0;
  width: 100%;
  background-color: white;
}

header h2 {
  padding: 0 16px;
}

#nav {
  position: fixed;
  top: 50px;
  width: 100%;
  height: 80px;
  background-color: white;
  display: flex;
  flex-direction: row;
  align-items: flex-start;
  font-size: 14px;
  line-height: 20px;
}

#nav>* {
  padding-left: 16px;
  padding-right: 16px;
  vertical-align: top;
}

#nav input[type="number"] {
  width: 100px;
}

#nav button {
  margin-top: 20px;
}

#corpus-info {
  font-size: 12px;
  line-height: 16px;
  color: #ccc;
}

h1 {
  display: inline;
}

label {
  display: block;
  margin-bottom: 5px;
  font-weight: bold;
}

table {
  width: 100%;
  border-collapse: collapse;
  margin-top: 120px;
}

th, td {
  border-left: 1px solid #ddd;
  border-right: 1px solid #ddd;
  padding: 8px;
  text-align: left;
  vertical-align: top;
}

thead {
  position: sticky;
  top: 120px;
}

th {
  background-color: #ccc;
  font-weight: bold;
  z-index: 100;
}

tbody td {
  font-family: monospace;
}

td:nth-child(2),
td:nth-child(3) {
  width: 48%;
}

.metadata {
  font-weight: bold;
  color: #222;
}

.odd-segment td {
  background-color: #eee;
}

.highlight-row {
  background-color: #fff3cd !important;
  border: 2px solid #ffc107 !important;
}

.highlight-row td {
  background-color: #fff3cd !important;
}

.metadata td {
  border-top: 1px solid #aaa;
}

tr:last-child td {
  border-bottom: 1px solid #ddd;
}

td:not(.metadata td) {
  border-top: 1px solid #ddd;
}

.line-num {
  width: 60px;
}

.line-num a {
  text-decoration: none;
}

.line {
  margin: 2px 0;
}

.line-number {
  color: #666;
  margin-right: 10px;
}

#disclaimer-bar {
  position: fixed;
  bottom: 0;
  left: 0;
  width: 100%;
  background-color: #f8f9fa;
  border-top: 1px solid #ddd;
  padding: 8px 16px;
  font-size: 12px;
  line-height: 16px;
  color: #666;
  z-index: 1000;
  box-sizing: border-box;
}

#disclaimer-bar p {
  margin: 0;
}