/* CSS Document */

#doc3 {
	font-size:150%;
}