@import url("base.css");

table { width: 100%; }

dt, th
{
	font-size: 90%;
	font-weight: bold;
}

dd { margin: 0 0 1em 0; }
dd table td.code { width: 15%; }