@CHARSET "UTF-8";

#abstract {
	font-size: smaller;
	font-family: Times, Times New Roman, serif;
}