/* -- table.info -- */
table.info {
  font-size: 90%;
  margin-bottom: 40px;
  width: 97%;
}

table.info th {
  width: 100px;
  background-color: #167ee5;
  color: #fff;
}

table.info td {
  padding: 6px;
  background-color: #dcdcdc;
}

table.info p {
  margin: 0;
  line-height: 150%;
  margin-top: 8px;
}

table.info ul, table.info ol {
  margin-left: 0px;
  margin-bottom: 0;
}

div.boxed {
  border: 1px dotted #888;
  margin: 8px;
  padding: 8px;
  background-color: #f5f5f5;
}

div.boxed div.header {
  text-align: center;
  font-weight: bold;
  font-size: 120%;
}