a.w3 img {border: 0; margin-top:7px;}
a.a {font-family:arial; text-decoration:none;}
a.title {font-family:arial; text-decoration:none; color:black;}
a.subtitle {font-family:arial; text-decoration:none; color:black;}

div.text {font-family:arial;}
div.command {font-family:arial; font-weight:bold;}
div.comment {font-family:arial;}
div.title {font-family:arial; font-weight:bold; font-size:125%; text-align: center;}

hr {margin:0; padding:0;}

p.title {font-family:arial; font-size:250%; margin:5px;}
p.subtitle {font-family:arial; font-size:200%; margin:5px;}

table {font-family:arial;}
table.reference {font-family:arial; margin-left:auto; margin-right:auto; vertical-align:top;}

td.reference {padding-left:10px; padding-right:10px;}

tr.list{vertical-align:top;}