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