body {
  font-family: serif;
}

#title {
  background-color: #b42000;
  color: white;
  padding: 5px;
}

#subtitle {
  background-color: #b42000;
  color: white;
  padding: 5px;
}

#changed {
  float: right;
}

#wiki {
  border:        3px solid #b42000;
  border-width:  0 3px 3px 3px;
  padding:       5px;
  margin-bottom: 1em;
}

.empty    { font-weight: normal }
.nonempty { color: yellow !important }

a        { text-decoration: none      }
a:hover  { text-decoration: underline }
#title a { color: white }

h1.title:before { content: ""; padding-right: 0 }

.dir td       { vertical-align: top }
.dir .name    { width: 10% }
.dir .lines   { text-align: right; padding-right: 1em }
.dir .changed { text-align: right }

.banner { border: 5px solid #b42000; margin: 2em; padding: 0.5em }

.icon { border: 0; height: 1em }

hr {
  border:           0;
  height:           1px;
  color:            black;
  background-color: black;
}