body {
    font-family: sans-serif;
    background: #f5f5f5;
    color: #111;
    margin: 0;
    padding: 0;
}

body.dark {
    background: #111;
    color: #eee;
}

.container {
    max-width: 960px;
    margin: 40px auto;
    padding: 20px;
}

a.button, button.button {
    display: inline-block;
    background: #444;
    color: #fff;
    text-decoration: none;
    padding: 8px 14px;
    border-radius: 5px;
    margin: 4px 4px 12px 0;
    border: none;
    cursor: pointer;
}

a.button:hover, button.button:hover {
    background: #666;
}

pre {
    background: #f0f0f0;
    padding: 10px;
    border-radius: 6px;
    overflow-x: auto;
}

body.dark pre {
    background: #222;
    color: #eee;
}

span.ip {
    background: #ff0;
    color: #000;
    padding: 0 4px;
    border-radius: 3px;
}

span.ts {
    background: #0cf;
    color: #000;
    padding: 0 4px;
    border-radius: 3px;
}

span.err {
    background: #f33;
    color: #fff;
    padding: 0 4px;
    border-radius: 3px;
}