td.cmd_line_args
{ 
	font-size:10pt;border-style: solid; border-width: 1px; padding-left: 4px; padding-right: 4px; 
	padding-top: 1px; padding-bottom: 1px; border-collapse: collapse;border-color:black;
}

table.cmd_line_args
{ 
	border-width:2;border-style:solid;border-collapse:collapse; border-color:black;
}

#argument_category
{
	font-size:18;
	font-weight:bold;
	color:purple;
}

div.sample, table.sample td {
    background-color: #6593cf;
    color: #ffffff;
    font-family:'Courier New';
    margin-left:25px;
    padding-left:5px;
    font-weight:normal;
}

img.illustration {
    float: right;
    margin:10px 20px 10px 10px;
    border:1px solid blue;
}