/* https://wiki.c2.com/?WikiStyle  */
body { margin: 1em 2.3em 1em 1.5em; zoom: 150%; padding-bottom: 50px;}
h1 { font-size: 2.1em;
   font-weight: bold;
   }
p { margin-left: 0.2em;
   }
blockquote {
   font-style: normal;
   }
pre { margin: 0em 3em 0em 2em;
   color: rgb(20%,20%,50%); background-color: rgb(100%,100%,100%);
   border: 1px solid rgb(50%,50%,50%);
   padding: 1em;
   font-size: 0.85em;
   white-space: pre;
   }
hr { color: rgb(30%,30%,60%);
   }