#log {
  background: rgba(255, 255, 255, 0.8);
  display: none;
  list-style: none;
  padding: 0.5em 0.5em 0.5em 0.5em;
  margin: 1em;
  height: 30%;
  overflow: auto;
  border: 1px solid #999;
  position: absolute;
  bottom: 1em;
  left: 1em;
  right: 1em;
  -moz-box-shadow: 0 0 1em #666;
  -webkit-box-shadow: 0 0 1em #666;
  box-shadow: 0 0 1em #666;
}
#log .time {
  display: block;
  font-size: 0.75em;
  text-decoration: underline;
  font-weight: bold;
}
#log .txt {
  display: block;
  font-family: Lucida Console, monospace;
  margin-bottom: 1em;
}