body {line-height: 2; }
a { font: 12px "Source Sans Pro", sans-serif; }
p {font-size: 12px; line-height: 1.7em;}
.jumbotron {padding: 3px 0; margin-top: 5px; margin-bottom: 5px; background-color: #009999; color: #fff;}
.a1 { padding-top: 6px; }
pre {line-height: 1.8em; font-size: 12px;}
.small {font-size: 10px;}
table th {text-align: center; background-color: #009999; color: #fff;}
table th,td {font-size: 12px;"}
.a2 {background-color: #009999;}
.page-header {
  padding-bottom: 4.5px;
  margin: 11px 0 11px;
  border-bottom: 1px solid #e6e6e6;
}