a, body, div, p {
    font-family: 'PT Sans', sans-serif;
}
body {
    margin:0;
    padding:20px;
    background-color: #e8e8e8;
}
#page {
    height: 100%;
    padding: 10px;
    background-color: #ffffff;
    min-width: 800px;
}
#header {
    padding: 20px 20px;
    background-image: url(header.jpg);
    background-size: 100%;
    background-repeat: no-repeat;
    color: #ffffff;
    font-size: 3em;
    text-align: center;
}
#header .hl {
    color: #444444;
}
#content {
    margin-top: 10px;
}
#content section {
    padding: 0 10px;
    border: 10px solid #f2f2f2;
}
#content section:not(:first-child) {
    margin-top: 10px;
}
.f_white {
    color: #ffffff;
}
.f_darkwhite {
    color: #d8d8d8;
}
.proportional {
    font-family: monospace;
    font-size: 1.0em;
    margin: 0 0.2em;
    padding: 0 0.2em;
    background-color: #e4f2ff;
}
.one_column {
    display: -webkit-box;
    display: -moz-box;
    display: -ms-flexbox;
    display: -ms-flex;
    display: -webkit-flex;
    display: flex;
}
.one_column > div {
    width: 100%;
    padding: 10px;
}
.two_columns {
    display: -webkit-box;
    display: -moz-box;
    display: -ms-flexbox;
    display: -ms-flex;
    display: -webkit-flex;
    display: flex;
}
.two_columns > div {
    width: 50%;
    padding: 0px;
}
.two_columns div:first-child {
    margin-right: 10px;
}
section {
    position: relative;
    display: inline-block;
}
section article {
    margin-bottom: 10px;
}
section article p {
    text-align: justify;
}
section article h1 {
    padding: 0;
    color: #888888;
    border-bottom: 2px solid #e8e8e8;
}
section article h2 {
    padding: 0;
    color: #555555;
    font-size: 1em;
    border-bottom: 1px dashed #d2d2d2;
}
section article h3 {
    padding: 0;
    color: #888888;
    font-size: 0.9em;
}
section > header {
    position: absolute;
    display: inline-block;
    top: -13px;
    right: 20px;
    font-size: 0.8em;
    background-color: #ffffff;
    color: #888888;
    padding: 0 8px 0 8px;
    font-style: italic;                
}
table.datatypes {
    width: auto;
    border-spacing: 0;
    border-collapse: collapse;
}
table.datatypes th {
    background-color: #d8d8d8;
}
table.datatypes th,
table.datatypes td {
    padding: 4px 10px;
    border: 1px solid #c8c8c8;
}
table.datatypes td.none {
    font-style: italic;
    color: #888888;
}
article .external {
    background-image: url(external.png);
    background-repeat: no-repeat;
    background-size: 24px;
    padding-left: 28px;                
}
article .github {
    background-image: url(Octocat.png);
    background-repeat: no-repeat;
    background-size: 24px;
    padding-left: 28px;                
}
article .samesite:before {
    font-family: FontAwesome;
    content: "\f0a4";
    display: inline-block;
    text-decoration: underline;
    padding-right: 3px;
    color: #000000;
}
/* workaround for IE8-11 bug where underline cannot be simply removed, as seen in http://stackoverflow.com/questions/8820286/how-to-remove-only-underline-from-abefore/21902566#21902566 */ 
article .samesite:link:before {
    text-decoration: none;
}
img .responsive {
    max-width: 100%;
}