body {
  font-family: sans-serif;
  background-color:	#f5f5eb;
}
a:link {
  color: #0072b2;
}
a:visited {
  color: #cc79a7;
}
a:active {
  color: #e51e10;
}
table.carl {
  /*font-size: 0.85em;*/
  border-collapse: collapse;
  border: 2px solid;
  margin-left: auto;
  margin-right: auto;
  /*margin: 20px 20px 20px 20px;*/
}
table.carl th {
  border: 1px solid;
  border-right-width: 0;
  padding-left: 5px;
  padding-right: 5px;
}
table.carl td {
  font-family: monospace;
  border: 1px solid;
  border-left-width: 0;
  padding-left: 5px;
  padding-right: 5px;
}
div.log {
  font-size: 0.85em;
  background-color: white;
}
div.c1 {
    text-align: center;
}
div.top {
  text-align:	center;
  color:	white;
  background-color:	#660000;
}
div.top hr {
  color:	#ff6600;
  background-color:	#ff6600;
  height:	6px;
  border:	0;
}
/*
 * Begin CSS for expandable log box
 * See http://codepen.io/raubarrera/pen/PZzpVe
 */
input {
  position: absolute;
  opacity: 0;
  z-index: -1;
}
label {
    position: relative;
    display: block;
    padding: 0 0 0 1em;
    background: #9d9879;
    font-weight: bold;
    line-height: 3;
    cursor: pointer;
}
.tab-content {
    max-height: 0;
    overflow: hidden;
}
label::after {
    position: absolute;
    right: 0;
    top: 0;
    display: block;
    width: 3em;
    height: 3em;
    line-height: 3;
    text-align: center;
    -webkit-transition: all .35s;
    -o-transition: all .35s;
    transition: all .35s;
}
input:checked ~ .tab-content {
    max-height: initial;
}
input[type=checkbox] + label::after {
    content: "\25BC";
}
input[type=checkbox]:checked + label::after {
    transform: rotateX(180deg);
}
/*
 * End CSS for expandable box.
 */