body { padding:0px; margin: 0px; }

div.top { margin:0px; padding:10px; margin-bottom:20px;
	      background-color:#efefef;
	      border-bottom:1px solid black; }

span.title { font-size:xx-large; font-weight:bold; }

span.subtitle { padding-left:30px; font-size:large; }

div.main { border:1px dotted black;
		   padding:10px; margin:10px; }

p.subtitle { font-size:large; font-weight:bold; }

input.type { font-family:monospace; }

span.mono { font-family:monospace; }

pre { margin:10px; margin-left:20px; padding:10px;
	  border:1px solid black; }

p { text-align:justify; }