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; padding:0.3em; }
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%; }
.code {  border: 1px solid black; background: #eef; padding: 0.3em; margin-left: 5%; margin-right: 10%; color: #e33; font-family: monospace;font-size: 110%; }
li { margin-left: 3%; margin-bottom: 1ex; }
tt { color: #e33; }
.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; }
.ex { border: 1px solid black; background: #eef; padding: 0.3em; margin: 1em; }