div.content .red
 { color: red
 }

div.content hr.red
 { border: 1px solid red
 }

div.content p.wfc
 { padding: 0px 4px 0px 4px
 ; margin-right: auto
 ; margin-left: auto
 ; white-space: pre
 ; font-family: monospace
 ; font-size: small
 ; width: 400px
 ; overflow: scroll
 ; border-width: 10px 1px 1px 1px
 ; border-color: blue black black black
 ; border-style: solid
 ; background-color: #dddddd
 ; color: black
 }

div.content table.separate
 { border-collapse: separate
 ; empty-cells: hide
 }