body { background: #ffe6e6;
       font-family: sans-serif; }

#paper { border: solid #555;
         border-width: 1px 5px 5px 1px;
         padding: 1em;
         background: white;
         color: #444; }

div#paper { max-width: 48em;
            margin: 0 0 1em 8%; }

img#paper {  }

img.portrait { height: 100px;
               width: 75px; }

img.left { float: left;
           margin-right: 0.3em; }

img.right { float: right;
            margin-left: 0.3em; }

h1, h2, h3, h4 { color: #993333; }

.code  { font-family: courier; font-weight: bold; font-size: 90%;
         margin: 0.5em 1em; }

#footnote { font-size: 70%;
            text-align: center;
            border: solid #aa4444;
            border-width: 1px 0 0 0;
            margin-top: 2em; }

#footnote p { margin: 0; }

#footnote a { color: #900; }            

a { color: #dd3333; text-decoration: none; }