body,td   { background-color:#ffffff; font: monospace; font-size : 11pt ; color : #000000 ;}
A:link    { color:#0000ff; text-decoration:none; background:#ffffff; }
A:visited { color:#000080; text-decoration:none; background:#ffffff; }
A:hover   { color:#ff3300; text-decoration:underline; background:#ffffff; }
A:active  { color:#00cc00; text-decoration:none; background:#ffffff; }

body,td { background-color:#ffffff; font:normal normal normal 10pt; color : #000000 ;}


.sourceforge_logo { position:absolute;
                top:10px;
                right:10px;
              }

.adsense { position:absolute;
                top:5px;
                right:5px;
              }

.menu { position:absolute;
                top:0px;
                left:10px;
                font:normal normal normal 10pt; font-weight:bold;
      }

.topmenu { position:absolute;
                top:80px;
                left:10px;
                font:normal normal normal 10pt; font-weight:bold;
      }

.submenu { position:absolute;
                top:70px;
                left:230px;
                font:normal normal normal 10pt; font-weight:bold;
      }


.content_position	{ position:absolute;
                  top:100px;
                  left:230px;
                }

.table_position	{ position:absolute;
                  top:2px;
                  left:2px;
                }

pre { background-color:#CCCCCC;
	 }





.table_figure { margin-left:20pt;
              }

.text_margin { margin-left:10pt;
		     }
		     
.table_margin { margin-left:10pt;
              }

.heading_table	{ background-color:#ffffff;
                  color:#000000;
                  font:normal normal normal 12pt; font-weight:bold;
                }

.element_table	{ background-color:#ffffff;
                  color:#000000;
                  font:normal normal normal 12pt; font-weight:bold;
                }

.figure_table	{ background-color:#ffffff;
                  color:#000000;
                  font:normal normal normal 12pt;
                }

.table_head1	{ background-color:#CCCCCC;
                  color:#000000;
                }

.table_data1	{ background-color:#ffffff;
                  color:#000000;
                }