#dredging
{
	font-size: larger;
}
#drawing
{
	border: 1px solid #000;
}