@font-face { font-family: Euclid; src:url(EUCLID0.eot)}
@font-face { font-family: Euclid Italic; src:url(EUCLID1.eot)}
@font-face { font-family: Euclid Bold; src:url(EUCLID2.eot)}
@font-face { font-family: Euclid Extra Italic ; src:url(EUCLIDE0.eot)}
@font-face { font-family: Euclid Extra Bold; src:url(EUCLIDE1.eot)}
@font-face { font-family: Euclid Extra; src:url(EUCLID2.eot)}
@font-face { font-family: Euclid Fraktur Italic; src:url(EUCLIDF0.eot)}
@font-face { font-family: Euclid Fraktur Bold; src:url(EUCLIDF1.eot)}
@font-face { font-family: Euclid Fraktur; src:url(EUCLIDF2.eot)}
@font-face { font-family: Euclid Symbol Italic; src:url(EUCLIDS0.eot)}
@font-face { font-family: Euclid Symbol Bold; src:url(EUCLIDS1.eot)}
@font-face { font-family: Euclid Symbol; src:url(EUCLIDS2.eot)}
@font-face { font-family: Euclid Math Two Italic; src:url(EUCLIDM0.eot)}
@font-face { font-family: Euclid Math Two Bold; src:url(EUCLIDM1.eot)}
@font-face { font-family: Euclid Math Two; src:url(EUCLIDM2.eot)}
@font-face { font-family: Euclid Math One Italic; src:url(EUCLIDM3.eot)}
@font-face { font-family: Euclid Math One Bold; src:url(EUCLIDM4.eot)}
@font-face { font-family: Euclid Math One; src:url(EUCLIDM5.eot)}
@font-face { font-family: Lucida Bright Math Symbol; src:url(LUCIDAB0.eot)}

td, li {font-family:Times New Roman;font-size:12pt;font-weight:normal;}
p {text-align:justify;font-family:Times New Roman;font-size:12pt;font-weight:normal;}
div {text-align:center;font-family:Times New Roman;font-size:12pt;font-weight:normal;}
p.beweis {margin-top:50px}
h1 {text-align:left; font-family:Times New Roman; font-weight:normal; font-size:15pt; margin-top:50px; margin-bottom:15px}
span {white-space:nowrap;}
span.num {font-size:10pt; font-family:Courier; color:#808080}
span.list {margin-left:9px; margin-right:10px}
a {text-decoration:none}
a.ref {font-size:10pt; font-family:Courier; text-decoration:none}
table.main {width:100%; border:1px solid gray; padding:0px 5px 0px 5px;}
table.main td{padding:5px}
table.top {width:700px; background:#FFFFFF; padding:0px 0px 0px 0px; border:1px solid blue;}
table {width:100%}
td.num {text-align:left; width:100px}
td.def {}
body {margin-top:0; margin-left:0}
applet {border: 1px solid blue;}

span.tooltip_h {display:none; width:0; height:0}
span.inf {color:blue; white-space:normal}

span.tooltip_v {display: block; text-decoration : none;
position: absolute; top:0; left:0; width: auto; height: auto; opacity: 0.9; filter:alpha(opacity=90);
padding: 5px; margin: 4px; z-index: 100; color: black; background: #CCCCCC; border : 1px solid black}

span.tooltip_v_noopac {display: block; text-decoration : none;
position: absolute; top:0; left:0; width: auto; height: auto; opacity: 1; filter:alpha(opacity=100);
padding: 5px; margin: 4px; z-index: 100; color: black; background: #CCCCCC; border : 1px solid black}