/* @charset "UTF-8"; */

/* rhg-cc, ~rhg/rhg.css, 15 December 2001 */
/* added charset at absolute start, 04 August 2010 */

h1, h2 { text-align: center; }
dt { font-weight: bold; line-height: 150%; }

/* abstract formatting */

.abstract { margin-left: 10%; margin-right: 10%; }

/* trailer formatting */

.tail { text-align: center; font-size: smaller; }

/* under construction formatting */

.under { color: red; font-size: larger; font-weight: bold; 
	text-align: center; }