h1, h2 { text-align: center; }

body { line-height: 1.4em; background-color: rgb(224,224,208); }

span.ab { font-size: larger; vertical-align: sub; white-space: nowrap; }
/*
    sub { font-size: x-small; }
    sub.o { font-weight: medium; position: relative; left: -0.6em; top: 0.1em; }
*/
ul { margin: -1em 0 0; } 
table.floatright { float: right; background-color: rgb(223,216,181); margin: 0.5em 0 0.5em 0.5em; border: 1px solid black; }
table.floatleft { float: left; background-color: rgb(223,216,181); margin: 0.5em 0.5em 0.5em 0; border: 1px solid black; }
table.floatleft th, table.floatright th { padding: 2px; }
table.floatleft td, table.floatright td { padding: 0 4px 4px 4px; }
p.right { float:right; margin: 0 0 0 2em; }
    
pre { font-size: small; line-height: 80%; }
span.invisgrey { color: rgb(243,252,255); }

span.ova { position: absolute; left: auto; top: auto; }
span.ovr { position: relative; left: -0.65em; top: -0.0em;  }
span.proof { font-size: small; }

table  { border-collapse: collapse; }
table.stats th, table.stats td  { border: 1px solid black; padding: 0.2em 0.5em; }
table.stats  { border: 1px solid black; }

table th, table td  { border: none; padding: 0.2em 0.5em; }

iframe  { background-color: white; border: none; margin: 6px; border: none; }
iframe.pd  { align: right; background-color: rgb(255,255,235); border: none; margin: 0 0 -0.3em 0;}

div.fpd { float: left; margin: 6px; }  
  
  a.rmlink { text-decoration: none; background-color: rgb(245,255,225); border: 1px solid rgb(0,176,0); padding: 0 0.2em; }
  a.irmlink { text-decoration: none; background-color: rgb(243,252,255); border: 1px solid rgb(0,0,204); padding: 0 0.2em; }

  p.s    { margin: 0 0 0.8em 3em; } 
  p.k    { margin: 0 0 0.8em 3em;  } 
  p.d    { margin: 0 0 0.5em 3em;  } 
  p.a    { margin: 0 0 0em 3em;  } 
  p.ad  { margin: 0 0 0em 3em;  } 
  p.as  { margin: 0 0 0em 3em;  } 
  p.s  a  { color: rgb(170,0,0); } 
  p.k  a  { color: rgb(0,0,0); } 
  p.d  a  { color: rgb(0,170,0); } 
  p.a  a  { color: rgb(170,170,0); } 
  p.ad  a { color: rgb(150,170,0); } 
  p.as  a { color: rgb(170,150,0); } 
  
p.tail {  background-color: rgb(240,255,235); border: 1px solid black; padding: 2px 0.4em; float: right; } 
  
img { background-color: white; }