/* this file is used only locally so we can see the proper font sizes on articles */
/* this file is empty on the server   */

body {
	font-family:Verdana, Arial, Helvetica, sans-serif;
	font-size:80%;
	color: #000000;
}	

h1 {font-size: 2em; font-weight: bold; line-height: 150%; }
h2 {font-size: 1.4em; font-weight: bold; line-height: 116%; }

p.superscript  {vertical-align:super ; font-size: 65%;}
p.subscript    {vertical-align:sub; font-size: 65%;}

.veranda16     {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 1.4em; line-height: 125%;}
.veranda15     {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 1.3em; line-height: 125%;}
.veranda14     {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 1.2em; line-height: 125%;}
.veranda13     {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 1.1em; line-height: 125%;}
.veranda12     {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 1.0em; line-height: 125%;}
.veranda12list {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 1.0em; line-height: 50%;}
.veranda12ds   {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 1.0em; line-height: 200%;}
.veranda11     {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 0.9em; line-height: 125%;}
.veranda10     {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 0.8em; line-height: 125%;}
.veranda10list {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 0.8em; line-height: 40%; }

.ariel10       {font-family: Arial, Helvetica, sans-serif; font-size: .8em}
.ariel12       {font-family: Arial, Helvetica, sans-serif; font-size: 1.0em}
.ariel14       {font-family: Arial, Helvetica, sans-serif; font-size: 1.2em}

.Times11       {font-family: "Times New Roman", Times, serif; font-size: 1.0em; line-height: 125%;}
.Times12       {font-family: "Times New Roman", Times, serif; font-size: 1.1em; line-height: 125%;}
.Times13       {font-family: "Times New Roman", Times, serif; font-size: 1.2em; line-height: 125%;}
.Times14       {font-family: "Times New Roman", Times, serif; font-size: 1.3em; line-height: 125%;}
.Times14ds     {font-family: "Times New Roman", Times, serif; font-size: 1.3em; line-height: 150%;}
.Times15       {font-family: "Times New Roman", Times, serif; font-size: 1.4em; line-height: 125%;}
.Times16       {font-family: "Times New Roman", Times, serif; font-size: 1.5em; line-height: 125%;}
.Times17       {font-family: "Times New Roman", Times, serif; font-size: 1.6em; line-height: 125%;}
.Times18       {font-family: "Times New Roman", Times, serif; font-size: 1.7em; line-height: 125%;}
.Times24       {font-family: "Times New Roman", Times, serif; font-size: 2.0em; line-height: 125%;}

.copyright     {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: .95em; line-height: 125%;}
.Title_1       {font-family: "Times New Roman", Times, serif; font-size: 2.0em; line-height: 125%;}
.Title_2       {font-family: "Times New Roman", Times, serif; font-size: 1.4em; line-height: 125%;}
.Title_3       {font-family: "Times New Roman", Times, serif; font-size: 1.2em; line-height: 125%;}