body{margin-left:6%;margin-right:6%;}h1{margin-left:-3%;font-variant:small-caps;border-bottom:thin solid black;}h2,h3,h4,h5,h6{margin-left:-1%;font-variant:small-caps;}pre{margin:2em;padding:1em;border:thin solid black;background-color:rgb(210,210,210);font-family:monospace;}a:link,a:visited{background-color:rgb(210,190,190);}a:hover,a:active,a:focus{background-color:rgb(210,140,140);}