/* Default css file for blog-style document. */

p.highlight {
	font-size: 24px;
}