/* --------------------------- eqns.css ---------------------------------*/
/*                                                                       */
/*  All of these tasks can be done with <tag style= (lots of stuff ) >.  */
/*  This is mainly a way to keep the sources from being filled with      */
/*  bulky tags.  That does not preclude the occasional, special use of   */
/*                                                                       */ 
/*                   <tag id=--- class=--- style=--->                    */ 
/*                                                                       */
/*              e.g. <div id=z16 class=bdr style=float:left>             */
/*                                                                       */
/*       for <div style=float:left;font-size:16pt;border:thin solid>     */
/*                                                                       */
/*-----------------------------------------------------------------------*/

/* Sizes and distances all measured in points (pt). */

/* tags */

   img { width:auto;float:right }                       /* workaround NN4 bug */

   p { text-indent:24pt }                       /* not with inline tags on IE */

   body { font-family:comic sans ms,sans-serif; font-size:12pt; line-height:16pt }

   pre,xmp { font-family:fixedsys,monospace; font-size:11pt; line-height:12pt }

   td { font-family:arial,helvetica,sans-serif; text-align:left; 
        white-space:nowrap; font-size:13pt; line-height:13pt }

   th { font-family:comic sans ms,sans-serif; text-align:left; font-weight:500;
        white-space:nowrap; font-size:13pt; line-height:13pt }

   u { text-decoration:none; position:relative }      /* NEWS moves with style= */

   s { text-decoration:none; font-family:symbolps,symbol }    /* s for symbols */

   em { font-family:comic sans ms,courier new bold; font-style:normal } /* marks */

/* identifiers and classes */

   .cln, #cln { text-decoration:line-through }          /* like <s> */
   .uln, #uln { text-decoration:underline }             /* like <u> */
   .oln, #oln { text-decoration:overline }              /* not on NN4 */
   .bdr, #bdr { border:thin solid }      .lft, #lft { text-align:left }          
   .rgt, #rgt { text-align:right }       .ctr, #ctr { text-align:center  }  

/* font-families */ 

   .csm, #csm {font-family:comic sans ms,sans serif }
   .cap, #cap {font-family:copperplate32bc,small-caps }
   .tms, #tms {font-family:times new roman,serif }
   .arl, #arl {font-family:arial,helvetica,sans-serif }
   .hlv, #hlv {font-family:helvetica,arial,sans-serif }
   .fix, #fix {font-family:fixedsys, monospace } 
   .sym, #sym {font-family:symbolps,symbol } 

/* font-weights - limited effect */

   .fw1, #fw1 { font-weight:100 } .fw2, #fw2 { font-weight:200 }
   .fw3, #fw3 { font-weight:300 } .fw4, #fw4 { font-weight:400 }
   .fw5, #fw5 { font-weight::normal } .fw6, #fw6 { font-weight::normal }
   .fw7, #fw7 { font-weight:700 } .fw8, #fw8 { font-weight:800 }
   .fw9, #fw9 { font-weight:900 } 

/* font-sizes and line-heights */
                                    .h6 , #h6  {line-height:6pt }
   .z9,  #z9   { font-size:9pt }    .h8 , #h8  {line-height:8pt }
   .z10, #z10  { font-size:10pt }   .h10, #h10 {line-height:10pt}
   .z11, #z11  { font-size:11pt }   .h12, #h12 {line-height:12pt}
   .z12, #z12  { font-size:12pt }   .h14, #h14 {line-height:14pt}
   .z14, #z14  { font-size:14pt }   .h16, #h16 {line-height:16pt}
   .z16, #z16  { font-size:16pt }   .h18, #h18 {line-height:18pt}
   .z18, #z18  { font-size:18pt }   .h20, #h20 {line-height:20pt}
   .z20, #z20  { font-size:20pt }   .h22, #h22 {line-height:22pt}
   .z24, #z22  { font-size:22pt }   .h24, #h24 {line-height:24pt}
   .z24, #z24  { font-size:24pt }   .h26, #h26 {line-height:26pt }

/* font-styles */

   .fsn, #fsn{ font-style:normal }  .fsi, #fsi{ font-style:italic }
   .fso, #fso{ font-style:oblique }

/* NS moves */

   .n0,  #n0    {position:relative} 
   .n1,  #n1    {position:relative; top:-1pt} 
   .n2,  #n2    {position:relative; top:-2pt} 
   .n3,  #n3    {position:relative; top:-3pt} 
   .n4,  #n4    {position:relative; top:-4pt} 
   .n5,  #n5    {position:relative; top:-5pt}
   .n6,  #n6    {position:relative; top:-6pt} 
   .n7,  #n7    {position:relative; top:-7pt} 
   .n8,  #n8    {position:relative; top:-8pt} 
   .n9,  #n9    {position:relative; top:-9pt} 
   .n10, #n10   {position:relative; top:-10pt} 
   .n11, #n11   {position:relative; top:-11pt}
   .n12, #n12   {position:relative; top:-12pt} 
   .n13, #n13   {position:relative; top:-13pt} 
   .n14, #n14   {position:relative; top:-14pt} 
   .n15, #n15   {position:relative; top:-15pt} 

   .s0,  #s0    {position:relative} 
   .s1,  #s1    {position:relative; top:1pt}
   .s2,  #s2    {position:relative; top:2pt}
   .s3,  #s3    {position:relative; top:2pt}
   .s4,  #s4    {position:relative; top:4pt}     
   .s5,  #s5    {position:relative; top:5pt}
   .s6,  #s6    {position:relative; top:6pt}
   .s7,  #s7    {position:relative; top:7pt}   
   .s8,  #s8    {position:relative; top:8pt}
   .s9,  #s9    {position:relative; top:9pt}    
   .s10, #s10   {position:relative; top:10pt} 
   .s11, #s11   {position:relative; top:11pt}
   .s12, #s12   {position:relative; top:12pt} 
   .s13, #s13   {position:relative; top:12pt} 
   .s14, #s14   {position:relative; top:12pt} 
   .s15, #s15   {position:relative; top:15pt}

/* EW-moves on NN4, in ../eqns1.css, otherwise the !NN4 BUG, */
/* replace "text-indent" with "margin-left", in ../eqns2.css */
 
   .w1, #w1 {text-indent:-1pt}       .e1, #e1 {text-indent:1pt}  
   .w2, #w2 {text-indent:-2pt}       .e2, #e2 {text-indent:2pt}
   .w3, #w3 {text-indent:-3pt}       .e3, #e3 {text-indent:3pt}  
   .w4, #w4 {text-indent:-4pt}       .e4, #e4 {text-indent:5pt}
   .w5, #w5 {text-indent:-5pt}       .e5, #e5 {text-indent:7pt}  
   .w6, #w6 {text-indent:-6pt}       .e6, #e6 {text-indent:6pt}
   .w7, #w7 {text-indent:-7pt}       .e7, #ea {text-indent:7pt}  
   .w8, #w8 {text-indent:-8pt}       .e8, #ea {text-indent:8pt}
   .w9, #w9 {text-indent:-9pt}       .e9, #e9 {text-indent:9pt}
   .w10, #w10 {text-indent:-10pt}    .e10, #e10 {text-indent:10pt}
   .w11, #w11 {text-indent:-11pt}    .e11, #e11 {text-indent:11pt}
   .w12, #w12 {text-indent:-12pt}    .e12, #e12 {text-indent:12pt} 
   .w13, #w13 {text-indent:-13pt}    .e13, #e13 {text-indent:13pt}
   .w14, #w14 {text-indent:-14pt}    .e14, #e14 {text-indent:14pt}
   .w15, #w15 {text-indent:-15pt}    .e15, #e15 {text-indent:15pt}
   .w16, #w16 {text-indent:-16pt}    .e16, #e16 {text-indent:16pt}

/* sups and subs */

   .sp2,  #sp2    {position:relative; top:-2pt; font-size:11pt } 
   .sp3,  #sp3    {position:relative; top:-3pt; font-size:11pt } 
   .sp4,  #sp4    {position:relative; top:-4pt; font-size:11pt } 
   .sp5,  #sp5    {position:relative; top:-5pt; font-size:11pt } 
   .sp6,  #sp6    {position:relative; top:-6pt; font-size:11pt }
   .sp7,  #sp7    {position:relative; top:-7pt; font-size:11pt } 
   .sp8,  #sp8    {position:relative; top:-8pt; font-size:11pt } 
   .sp9,  #sp9    {position:relative; top:-9pt; font-size:11pt } 

   .sb2,  #sb3    {position:relative; top:2pt; font-size:11pt } 
   .sb3,  #sb3    {position:relative; top:3pt; font-size:11pt } 
   .sb4,  #sb4    {position:relative; top:4pt; font-size:11pt } 
   .sb5,  #sb5    {position:relative; top:5pt; font-size:11pt } 
   .sb6,  #sb6    {position:relative; top:6pt; font-size:11pt } 
   .sb7,  #sb7    {position:relative; top:7pt; font-size:11pt } 
   .sb8,  #sb8    {position:relative; top:8pt; font-size:11pt } 
   .sb9,  #sb9    {position:relative; top:9pt; font-size:11pt }