/*
	Cruel CSS File
*/


body { margin:20px; background-color:silver;}
h1 { line-height: 150%; }
p { line-height:150%; }
ul { line-height:150%; }
ol { line-height:150%; }
td { line-height:150%; }
dl { line-height:150%; }

.longlist { margin-bottom:2ex; }

.figright { float:right; font-size:small; text-align:center; line-height:110%; padding:2ex }

.figleft { float:right; font-size:small; text-align:center; line-height:110%; padding:2ex }

.fineprint { float:right; font-size:small; line-height:110%; text-align:right; padding:2ex }

.abstract { color:green }

.comment { color:green }