You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
35 lines
804 B
35 lines
804 B
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 ;
|
|
}
|
|
|