style.css

pre {
    font-family: 'Lucida Sans', 'Helvetica', 'Sans serif', 'sans';
}

th {
    background: #C3C3C3;
    color: white;
    font-weight: bold;
}

tr.b {
    background: #F5F5F5;
}

tr.a {
    background: #E6E6E5;
}

tr.none {
    background: transparent;
}

a.none {
    background: transparent;
    padding-right: 0px;
}

#inputForm {
    width: 300px;
}

#inputForm label {
    display: block;
    margin-top: 5px;
}

#inputForm label.non {
    display: inline !important;
}

#inputFormTable td {
    vertical-align: top;
    padding: 10px;
}

#nestedExampleTree {
    width: 300px;
}

#feedbackPanel {
    width: 600px;
}

#siteSelection {
    width: 200px;
}

.panel {
    background-color: #fff;
}