body { margin: 0 ; padding:1em ; }

#header {
    position: fixed ; top: 1em ; height: 3em ;
    width: calc(100% - 2em) ;
}
#header .caption {
    display: inline-block ;
    border: 1px solid black ; border-radius: 5px ;
    padding: 4px 12px ;
    font-size: 150% ; font-weight: bold ;
    background: #ddd ;
}

#content {
    position: fixed ; top: 4.25em ; bottom: 1em ;
    width: calc(100% - 2em) ;
    overflow: auto ;
}

h3 {
    display: inline-block ;
    margin: 0 ;
    border: 1px solid #888 ; border-radius: 5px ;
    padding: 2px 8px ;
    color: #444 ; background: #f8f8f8 ;
}

.ruleid { font-family: monospace ; }

.info {
    margin-top: 10px ; min-height: 25px ;
    padding-left: 30px ; background: no-repeat url(info.png) ;
    font-size: 90% ; font-style: italic ; color: #444 ;
}
