html, body {
    font-family: "Open Sans", sans-serif
    color: #333
}

body {
    margin: 0;
    font-size: 1rem;
    overflow-x: hidden
}

code {
    font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace;
    font-size: 0.875em;
}

.left {
    float: left
}

.right {
    float: right
}

.hidden {
    display: none;
}

.play-button.hidden {
    display: none;
}

h2, h3 { margin-top: 2.5em }
h4, h5 { margin-top: 2em }

.header + .header h3, .header + .header h4, .header + .header h5 { margin-top: 1em }

table {
    margin: 0 auto;
    border-collapse: collapse;

    td {
      padding: 3px 20px;
      border: 1px solid;
    }

    thead {
      td { font-weight: 700; }
    }
}