body {
    max-width: 120ex;
}

h1, h2, h3, th {
    color: #009e69;
}

h1 {
    font-size: 120%;
    font-weight: bold;
    text-align: center;
}
h2 {
    font-size: 100%;
    font-weight: bold;
}
h3 {
    font-size: 100%;
    font-weight: normal;
    margin-left: 2ex;
}

hr {
    border: 0;
    height: 1px;
    background: #009e69;
}

.license {
    font-size: 90%;
}

p, table, dl, hr {
    margin-left: 2ex;
}
p.header {
    margin-left: 0ex;
}

p {
    margin-top: 1ex;
    margin-bottom: 1ex;
}
blockquote {
    margin-left: 4ex;
    margin-right: 4ex;
}

dl.funcs dt {
    font-family: monospace;
    font-weight: bold;
}
dl.funcs dd {
    margin-left: 4ex;
}

a { cursor: pointer; color: #ab3388; }
a:link, a:visited { text-decoration: none; }
a:active, a:hover { text-decoration: underline; }

table {
    table-layout: fixed;
    border-collapse: collapse;
    width: 100%;
}
tr.rsamp {
    border-top: 1px solid #009e69;
}
col.cleft {
    border-left: 1px solid #009e69;
}
col.csamp, col.cenv {
    width: 20%;
}
col.cclean, col.crev, col.cmd, col.cnmf {
    width: 15%;
}
th {
    font-weight: normal;
}
td {
    text-align: center;
}
td.win {
    font-weight: bold;
}

.ref {
    font-size: small;
}

div#player {
    margin-top: 1ex;
    text-align: center;
}