a:link     { color          : #1F2A6D;
             font-family    : curier;
             font-weight    : bold;
             font-size      : 10pt;
             text-decoration: none;}

a:visited  { color          : #816DDB;
             font-family    : curier;
             font-weight    : bold;
             font-size      : 10pt;
             text-decoration: none;}

a:active   { color          : #0087FF;
             font-family    : curier;
             font-weight    : bold;
             font-size      : 10pt;
             text-decoration: underline;}

a:hover    { color          : #8E85B5;
             font-family    : curier;
             font-weight    : bold;
             font-size      : 10pt;
             text-decoration: underline;}   


table.gruesse 
	    {  width		: 80%;
		 border		: 1px solid #888888;	
		 color            : #888888;
		 background-color : lightyellow;
             font-family      : curier;
             // font-weight   : bold;
             font-size        : 10pt;
             text-decoration  : none;}