p,div.body,table {
      margin-left: 2em;
      margin-right: 2em;
    }
    h1 {
      text-align: center;
      color: #ffffff;
      background-color: #d2691e;
    }
    strong {
      font-size: large;
      font-weight: bold;
    }
    table {
      border-width: thin;
      border-style: solid;
    }
    td.key {
      background-color: #e8e6d0;
      text-align: center;
      font-weight: bold;
    }
    td.val {
      background-color: #fbf6e0;
      text-align: left;
    }
    span.key,div.key {
      font-weight: bold;
    }
    div.navi {
      margin: 0em
    }
    span.warn {
      color: red;
      font-weight: bold;
    }