@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:cmr;font-size:11pt;font-weight:normal;}
i {font-family: Times New Roman}
p {text-align:justify;font-family:cmr10;font-size:11pt;font-weight:normal;}
div {text-align:center;font-family:cmr10;font-size:11pt;font-weight:normal;}
p.beweis {margin-top:50px}
h1 {text-align:left; font-family:cmr10; 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 30px 0px 30px; position:relative; left:-30; top:0}
table {width:100%}
td.num {text-align:left; width:100px}
td.def {}
body {margin-top:0; margin-left:0}
applet {border: 1px solid blue;}

img.inf {display:none}
span.inf {color:black; margin-right:4pt; white-space:normal}
span.tooltip_h {display:none}