body
{
  font-size: small;
  font-family: Verdana, Arial, Helvetica, sans-serif;
}

h1 
{
  font-size:150%;
}

h2 
{
  font-size:140%;
}

h3
{
  font-size:130%;
}

h4 
{
  font-size:120%;
}

h5
{
  font-size:110%;
}

p 
{
  font-size:small;
}

li
{
  font-size: x-small;
}

.note
{
  font-size: 85%;
  font-style: italic;
}

.platform
{
  font-size: small;
  font-style: italic;
}

.tiny
{
  font-size: xx-small;
}

code
{
  font-size: 90%;
  font-weight: bold;
  font-style: normal;
  font-family: Lucida Console, Arial, Helvetica, sans-serif;
  padding:0.5em 
}

td 
{
  font-size: small;
  font-weight: normal;
  font-style: normal;
}

pre
{ 
  font-size:90%;
  font-family: Lucida Console, Arial, Helvetica, sans-serif;
  padding:0.5em 
}