body {
    font-size: 12pt;
}

#midi-log {
    height: 400px;
    overflow: auto;
    border: 1px solid #CCCCCC;
    padding: 5px;
    font-family: monospace;
    font-size: 10pt;
}