body { padding-left: 10%; margin-right: 10%; }
h1 { font-size: 120%; margin-left: 0%;}
h2 { font-size: 100%; margin-left: 0%; margin-top: 2em;}
h3 { font-size: 100%; margin-left: 0%; font-weight:normal; margin-top: 2em; }
pre { font-family: monospace; background: rgb(204,204,204); overflow: auto; padding: 2%; }

ul.sidelist { padding-left: 0; list-style-type: none; }

p.head { font-size: 100%; margin-top: 2em; border-bottom: thin solid; background: rgb(204,204,204); padding-right: 0.2em; margin-left: 0em; text-align: right;}
p.foot { font-size: 100%; margin-top: 3em; padding-top: 1em; margin-left: auto; margin-right: auto; border-top: thin solid; text-align: center;}
p.picture { font-size: 80%; font-style:italic; text-align: center; }
p.download { font-size: 110%; margin-left: 5%; }
img.logo { float: left; }