h1   { font-size: 200%; color: #ddf; background: #128; 
       text-align: center; padding-top: 0.5em; padding-bottom: 0.5em; }
h2   { font-size: 150%; color: #248; background: #cfd; margin-top: 2em; }
h3   { font-size: 110%; color: #162; margin-top: 2em; }
h4   { font-size: 105%; color: #128; margin-left: 2%; }
p    { margin-left: 3%; margin-right: 3%; }
.old { text-decoration: line-through; color: #222; }
.warn { margin-left: 4%; margin-right: 4%; color: #f11; background: #fee; 
        padding: 0.3em; border: 1px solid; }
.note { margin-left: 4%; margin-right: 4%; color: #000; background: #eef; 
        padding: 0.3em; border: 1px solid; }
table { border-collapse: collapse; }
.rom th { border: 1px solid black; background: #dde; }
.rom td { border: 1px solid black; }
.rom caption { caption-side: bottom; font-weight: bold; padding-top: 0.5em; }
.kbd td { border: 1px solid black; background: #eef; }
.kbd pre   { color: #004; padding: 2em; }
.ex { border: 1px solid black; background: #eef; padding: 0.3em; margin: 1em; }
li { list-style: url("pict/bullet.png"); margin-left: 2%; margin-right: 4%; padding: 0.2em; }
li li { list-style: square; }
tt { color: #e33; font-size: 110%; padding-left: 0.2em; padding-right: 0.2em; }