body {background-color: #546E7A;font-family: "Source Sans Pro", Calibri, Helvetica, Arial, sans-serif;margin: 0;padding: 0;}#header {text-align: center;font-size: 30px;padding-top: 32px;padding-bottom: 32px;color: #FFF;}#header h1 {margin: 0;padding: 0;}#navigation {background-color: #78909C;text-align: center;color: #fff;font-size: 16px;padding-top: 40px;padding-bottom: 40px;}#navigation li {display: inline;margin-right: 20px;}#navigation li a {color: #fff;text-decoration: none;}#navigation li a:hover {color: #EEE;}#navigation li.active a {color: #FFF;text-decoration: none;font-weight: bold;}#content {background-color: #eceff1;color: #000;padding-left: 20%;padding-right: 20%;padding-top: 30px;padding-bottom: 30px;font-size: 16px;}#content h2 {margin: 0px 0px 25px 0px;padding: 0;font-size: 22px;color: #546E7A;}#content a, #content a:visited {color: #546E7A;text-decoration: underline;}#footer {background-color: #CFD8DC;font-size: 14px;color: #444;text-align: center;padding-top: 40px;padding-bottom: 40px;}#footer ul {display: inline;margin: 0;padding: 0;}#footer li {display: inline;margin-right: 15px;}#footer a {text-decoration: none;color: #444;}#footer li.active a {text-decoration: none;color: #444;font-weight: bold;}#footer a:hover {color: #000;}#footer img {display: none;}/* stuff for special pages */td { text-align: left; }td.headtext { text-align: center; font-size: 115%; font-weight: bold; }#paste { font-family: monospace; }div.true { background-color: #00CC00; color: #333333; width: 100%; text-align: center; }div.false { background-color: red; width: 100%; text-align: center; }.arrow-separator {    position: relative;}.arrow-separator::after {    border: 12px solid transparent;    content: " ";    height: 0;    left: 50%;    margin-left: -12px;    pointer-events: none;    position: absolute;    top: 100%;    width: 0;    z-index: 11;}.arrow-content::after {    border-color: #eceff1 rgba(255, 255, 255, 0) rgba(255, 255, 255, 0);}.arrow-header::after {    border-color: #546E7A rgba(255, 255, 255, 0) rgba(255, 255, 255, 0);}.arrow-navigation::after {    border-color: #78909C rgba(255, 255, 255, 0) rgba(255, 255, 255, 0);}.arrow-footer::after {    border-color: #CFD8DC rgba(255, 255, 255, 0) rgba(255, 255, 255, 0);}