/* MathDo Style definition July 2001 */
body { MARGIN-TOP: 0pt; MARGIN-BOTTOM: 0pt; MARGIN-LEFT: 10pt; MARGIN-RIGHT: 10pt; 
       padding: 1ex;
       font-size   : 14pt;
       font-family : "Times New Roman", "serif"; 
       line-height : 125%;  }
       
p { MARGIN-TOP: 0pt; MARGIN-BOTTOM: 0pt; MARGIN-LEFT: 0pt; MARGIN-RIGHT: 0pt; 
    padding: 0.5ex; }

/* images inside text */
/* img.txt2 { height: 2ex; width: 2ex; }  for old les4390104 only: corrected in pregeo1s0040 */
img.12ex { height: 12ex; width: 12ex; } /* for geometry0108 = les0520909.html only */
/* img.ex1 { width: 20px; }  for geometry0101 = les0520902.html only  */

img.a { height:  1ex; width:  1ex; }
img.b { height:  2ex; width:  2ex; }
img.c { height:  4ex; width:  4ex; }
img.d { height:  8ex; width:  8ex; }
img.e { height: 12ex; width: 12ex; }
img.f { height: 16ex; width: 16ex; }
img.g { height: 20ex; width: 20ex; }
img.h { height: 30ex; width: 30ex; }

img.u { width: 100px; }
img.v { width: 200px; }
img.w { width: 300px; }
img.x { width: 500px; }
img.y { width: 500px; }
img.z { width: 500px; }

table { MARGIN-TOP: 0pt; MARGIN-BOTTOM: 0pt; MARGIN-LEFT: 10pt;  MARGIN-RIGHT: 10pt; 
        padding: 0.5ex; 
        font-size: 100%; font-family: "Times New Roman", "serif"; }

table.my1 { MARGIN-TOP: 0pt; MARGIN-BOTTOM: 0pt; MARGIN-LEFT: 10pt;  MARGIN-RIGHT: 10pt; 
        padding: 0.5ex; 
        border: gray 1px solid;
        font-size: 100%; font-family: "Times New Roman", "serif"; }
td.my1 { border: gray 1pt solid; }        
        
pre { font-family : Courier, monospace; font-size: 110%; }

small.small0 { font-size: 60%; font-family : Arial, "sans serif"; }
small.small1 { font-size: 80%; font-family : Arial, "sans serif"; }

span.fnormal     { font: 100% "Times New Roman"; }
span.fnormalx    { font: 200% "Times New Roman"; }
span.fnormalxx   { font: 300% "Times New Roman"; }
span.fsymbol     { font: 100% "symbol";      }
span.fsymbolx    { font: 200% "symbol";      }
span.fsymbolxx   { font: 300% "symbol";      }
span.fwingdings  { font: 100% "wingdings";   }
span.fwingdings2 { font: 100% "wingdings 2"; }
span.fwingdings3 { font: 100% "wingdings 3"; }

@font-face {
    font-family: symbol;
    local: Symbol;  // Erst nachsehen, ob die Schrift
	            // beim Besucher schon installiert ist
    font-style:  normal;
    font-weight: normal;
    src: url(SYMBOL0.eot) format(embedded-opentype)}


div.mydiv1 {BORDER-TOP:  red 1px solid; BORDER-BOTTOM: blue 0.2pt solid; 
            BORDER-LEFT: black 1pt none;  BORDER-RIGHT:  black 1pt none; 
            MARGIN-TOP: 0pt;   MARGIN-BOTTOM: 0pt;
            MARGIN-LEFT: 0pt;  MARGIN-RIGHT: 0pt; 
            PADDING: 0.5ex; white-space:nowrap; }

hr { color: grey; HEIGHT: 1px; MARGIN: 0px; noshade: true; }

h1 { font-size : 180%; MARGIN-TOP: 0pt;MARGIN-BOTTOM: 0pt;
     MARGIN-LEFT: 0pt; MARGIN-RIGHT: 0pt; padding: 0.5ex; line-height : 125%; }
h2 { font-size : 155%; MARGIN-TOP: 0pt;MARGIN-BOTTOM: 0pt;
     MARGIN-LEFT: 0pt; MARGIN-RIGHT: 0pt; padding: 0.5ex; line-height : 125%; }
h3 { font-size : 135%; MARGIN-TOP: 0pt;MARGIN-BOTTOM: 0pt;
     MARGIN-LEFT: 0pt; MARGIN-RIGHT: 0pt; padding: 0.5ex; line-height : 125%; }
h4 { font-size : 120%; MARGIN-TOP: 0pt;MARGIN-BOTTOM: 0pt;
     MARGIN-LEFT: 0pt; MARGIN-RIGHT: 0pt; padding: 0.5ex; line-height : 125%; }
h5 { font-size : 110%; MARGIN-TOP: 0pt;MARGIN-BOTTOM: 0pt;
     MARGIN-LEFT: 0pt; MARGIN-RIGHT: 0pt; padding: 0.5ex; line-height : 125%; }
h6 { font-size : 105%; MARGIN-TOP: 0pt;MARGIN-BOTTOM: 0pt;
     MARGIN-LEFT: 0pt; MARGIN-RIGHT: 0pt; padding: 0.5ex; line-height : 125%; }


blockquote.bbox1 { border: black 1px solid;
     MARGIN-TOP: 0pt; MARGIN-BOTTOM: 0pt; MARGIN-LEFT: 1ex; MARGIN-RIGHT: 1ex; 
     padding: 0.5ex; width: 65ex; } 

strong.my0x { color: black;   font-size : 155%; }

strong.my0  { color: black;   font-size : 120%; line-height : 125%; }
strong.my1  { color: red;     font-size : 120%; line-height : 125%; }
strong.my2  { color: blue;    font-size : 120%; line-height : 125%; }
strong.my3  { color: fuchsia; font-size : 120%; line-height : 125%; }
strong.my4  { color: green;   font-size : 120%; line-height : 125%; }

strong.my1n { color: red;     }
strong.my2n { color: blue;    }
strong.my3n { color: fuchsia; }
strong.my4n { color: green;   } 

span.pos_m30 { position: absolute; top: -3.0ex;}
span.pos_m29 { position: absolute; top: -2.9ex;}
span.pos_m28 { position: absolute; top: -2.8ex;}
span.pos_m27 { position: absolute; top: -2.7ex;}
span.pos_m26 { position: absolute; top: -2.6ex;}
span.pos_m25 { position: absolute; top: -2.5ex;}
span.pos_m24 { position: absolute; top: -2.4ex;}
span.pos_m23 { position: absolute; top: -2.3ex;}
span.pos_m22 { position: absolute; top: -2.2ex;}
span.pos_m21 { position: absolute; top: -2.1ex;}
span.pos_m20 { position: absolute; top: -2.0ex;}
span.pos_m19 { position: absolute; top: -1.9ex;}
span.pos_m18 { position: absolute; top: -1.8ex;}
span.pos_m17 { position: absolute; top: -1.7ex;}
span.pos_m16 { position: absolute; top: -1.6ex;}
span.pos_m15 { position: absolute; top: -1.5ex;}
span.pos_m14 { position: absolute; top: -1.4ex;}
span.pos_m13 { position: absolute; top: -1.3ex;}
span.pos_m12 { position: absolute; top: -1.2ex;}
span.pos_m11 { position: absolute; top: -1.1ex;}
span.pos_m10 { position: absolute; top: -1.0ex;}
span.pos_m09 { position: absolute; top: -0.9ex;}
span.pos_m08 { position: absolute; top: -0.8ex;}
span.pos_m07 { position: absolute; top: -0.7ex;}
span.pos_m06 { position: absolute; top: -0.6ex;}
span.pos_m05 { position: absolute; top: -0.5ex;}
span.pos_m04 { position: absolute; top: -0.4ex;}
span.pos_m03 { position: absolute; top: -0.3ex;}
span.pos_m02 { position: absolute; top: -0.2ex;}
span.pos_m01 { position: absolute; top: -0.1ex;}

/* span.pos0  { position: relative; height: 2ex; }  for MSIE 5.0 */
/* span.pos0  { position: relative; height: 2ex; padding-top: 0.5ex; }  for MSIE 6.0, 5.5 */
span.pos0  { position: relative; height: 2ex; padding-top: 0.3ex; } /* newest MSIE and Crome */
span.space  { position: relative; height: 2ex; }  /* as space holder for typing */

span.pos_p01 { position: absolute; top:  0.1ex;}
span.pos_p02 { position: absolute; top:  0.2ex;}
span.pos_p03 { position: absolute; top:  0.3ex;} /* roots in fraction 0.3 less ? */
span.pos_p04 { position: absolute; top:  0.4ex;}
span.pos_p05 { position: absolute; top:  0.5ex;}
span.pos_p06 { position: absolute; top:  0.6ex;} /* roots in fraction 0.4 less ? */
span.pos_p07 { position: absolute; top:  0.7ex;}
span.pos_p08 { position: absolute; top:  0.8ex;}
span.pos_p09 { position: absolute; top:  0.9ex;}
span.pos_p10 { position: absolute; top:  1.0ex;}
span.pos_p11 { position: absolute; top:  1.1ex;}
span.pos_p12 { position: absolute; top:  1.2ex;}
span.pos_p13 { position: absolute; top:  1.3ex;}
span.pos_p14 { position: absolute; top:  1.4ex;}
span.pos_p15 { position: absolute; top:  1.5ex;}
span.pos_p16 { position: absolute; top:  1.6ex;}
span.pos_p17 { position: absolute; top:  1.7ex;}
span.pos_p18 { position: absolute; top:  1.8ex;}
span.pos_p19 { position: absolute; top:  1.9ex;}
span.pos_p20 { position: absolute; top:  2.0ex;}
span.pos_p21 { position: absolute; top:  2.1ex;}
span.pos_p22 { position: absolute; top:  2.2ex;}
span.pos_p23 { position: absolute; top:  2.3ex;}
span.pos_p24 { position: absolute; top:  2.4ex;}
span.pos_p25 { position: absolute; top:  2.5ex;}
span.pos_p26 { position: absolute; top:  2.6ex;}
span.pos_p27 { position: absolute; top:  2.7ex;}
span.pos_p28 { position: absolute; top:  2.8ex;}
span.pos_p29 { position: absolute; top:  2.9ex;}
span.pos_p30 { position: absolute; top:  3.0ex;}

span.sup1 { position: relative; top: -1.1ex; font-size: 80%; }
span.sup2 { position: relative; top: -2.4ex; font-size: 60%; }
span.sub1 { position: relative; top:  0.8ex; font-size: 80%; }
span.sub2 { position: relative; top:  1.8ex; font-size: 60%; }

/* for english, underlined text with number */
p.passage { MARGIN-TOP: 0pt; MARGIN-BOTTOM: 0pt; MARGIN-LEFT: 0pt; MARGIN-RIGHT: 0pt; 
            padding: 0.5ex; padding-top: 0ex; padding-bottom: 0ex; line-height: 250%; }

span.pos0en { position: relative; }
span.pos1en { position: absolute; top: -1.4ex; }
span.pos2en { position: absolute; top:  0.5ex; }