span.button {
    border: 1px solid #aaa ; border-radius: 4px ; padding: 0 6px 0 4px ;
    background: #eee ;
    font-family: monospace ; font-style: italic ;
}
span.knob { font-style: italic ; color: #444 ; }
span.option { font-family: monospace ; color: #444 ; }
span.value { font-family: monospace ; font-style: italic ; color: #444 ; }

.tutorial-wx5rig #part4 div.mix {
    border: 1px solid #aaa ; border-radius: 5px ;
    margin: 0.5em ; padding: 0.5em ;
    background: #eee ;
}
.tutorial-wx5rig #part4 div.mix .caption { margin: 0 0 0.25em 0 ; font-size: 125% ; font-weight: bold ; }