/* rhg-cc, ~ral/ral.css, Oct 13, 2007 */

h1 { text-align: center; }

h2 { text-align: center; font-variant: small-caps; }

dt { font-weight: bold; line-height: 150%; }

li { margin: 0.5em 0 0.5em 0; }

/* abstract formatting */

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

/* center formatting */

.center { text-align: center; }

/* trailer formatting */

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

/* under construction formatting */

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