h1
    {
      font-family: arial, helvetica, sans-serif;
      color: darkblue;
      font-weight: bold;
      font-size: 24pt;
      margin-bottom: 0mm;
    }

h2
    {
      font-family: arial, helvetica, sans-serif;
      color: darkblue;
      font-weight: normal;
      margin-bottom: 0cm;
      margin-top: 0cm;
    }

h3
    {
     font-family: arial, helvetica, sans-serif;
     color: darkblue;
     font-weight: normal;
     margin-bottom: 0cm;
     margin-top: 0mm;
    }

div
    {
	 font-family: arial, helvetica, sans-serif;
	 color: black;
	 margin-top: 0cm;
    }


div.standard
      {
        margin-bottom: 0.3cm;
      }

div.header
    {
      font-style: italic;
    }



div.left
      {
	margin-left: 0.2cm;
        margin-bottom: 0.3cm;
      }

div.nomargin
      {
        margin-bottom: 0.0cm;
        margin-left: 0cm;
      }

div.header-small
      {
	font-size: 80%;
	font-style: italic;
      }
	    
.pub-conf
      {
        margin-bottom: 0.15cm;
      }
.pub-demo
      {
         margin-bottom: 0.15cm;
         color: grey;
      }