div.content { padding-right:32px; margin-top:32px; }

div.src { max-width:600px; margin-top:20px; margin-bottom:20px; 
	text-align:left; padding:16px; padding-top:4px; 
	border:1px solid rgb(30,150,150); }

th.src { vertical-align:bottom; font-size:15px; font-weight:normal;
	color:rgb(30,40,40); border-bottom:2px solid rgb(30,150,150); }
td.src { vertical-align:top; border-bottom:1px solid rgb(30,150,150); }
td.src a { text-decoration:none; }