@import "style.css"; 
h2 {
    font-variant: small-caps; 
    font-size: 170%; 
}
.informalexample {
    margin-bottom: 1.2em; 
}
div.informalexample .screen {
    margin-left: 2ex; 
}