body {
    font-family: "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", Geneva, Verdana, sans-serif;
    font-size: 16px;
    line-height: 1.3;
    margin-top: 2em;
    margin-bottom: 2em;
}

h1, h2, h3 {
    line-height: 1;
    letter-spacing: -0.04em;
    margin-top: 0;
}

h1 {
    font-size: 40px;
    margin-bottom: 0.5em;
}

h2 {
    font-size: 25px;
    margin-top: 0.5em;
}

h3 {
    font-size: 20px;
}

a {
    color: #1f77b4;
    text-decoration: underline;
}

code {
    color: black;
}

.note {
    font-family: monospace;
    font-size: 13px;
}

.hanging-arrow {
    margin-left: -1em;
}

img.inline {
    height: 1em;
}

/* EVAL */

#eval td, #eval th {
    vertical-align: top;
    padding: 0 1em .5em 0;
}

#eval th {
    font-weight: normal;
}

/* EXAMPLES */

.examples dt {
    font-weight: normal;
    margin-bottom: 1em;
}

.example {
    margin-left: 20px;
}

span.example {  /* inside <p> */
    display: block
}

/* PARTITION */

.partition .fill-split, .partition .split {
    padding: .2em 0 .2em 0;
}

.errors .fill-split {
    border-left: solid 1px #ef5350;
    border-right: solid 1px #ef5350;
    background: #ffcdd2;
}

.errors .split {
    border-left: solid 1px #ef5350;
    border-right: solid 2px #ffcdd2;
}

.cands .fill-split {
    border-left: solid 1px #64b5f6;
    border-right: solid 1px #64b5f6;
    background: #e3f2fd;
}

.cands .split {
    border-left: solid 1px #64b5f6;
    border-right: solid 2px #e3f2fd;
}

.joins .fill-split {
    border-left: solid 1px #9E9E9E;
    border-right: solid 1px #9E9E9E;
    background: #EEEEEE;
}

.joins .split {
    border-left: solid 1px #9E9E9E;
    border-right: solid 2px #EEEEEE;
}

/* FOOTER */

#footer ul {
    padding-left: 0em;
}

#footer li {
    list-style: none;
}