/* block-tags */
body  { background-color: "##FFFFFF;"  /* white */
        /* font-size: 12 pt;  */
        font-style: sans-serif !important;  
        font-family: Verdana, "Trebuchet MS", Helvetica, Arial, sans-serif !important;  }
hr  { width: 480pt;  text-align: center;  }

/* borders */
    div#fret-left  { width: 41pt;  
        background-image: url(!/b/bord/fret.jpg) ;  background-repeat:  repeat-y;  
        position: fixed;  top: 0;  bottom: 0;  left: 0;  }
    div#fret-right  { width: 41pt;  
        background-image: url(!/b/bord/fret.jpg) ;  background-repeat: repeat-y;  
        position: fixed;  top: 0;  bottom: 0;  right: 8pt;  }
        /* left is unspecified, so that fret can properly follow window-resizing */
    div#spiral  { width: 19pt;  
        background-image: url(!/b/bord/spiral.jpg) ;  background-repeat: repeat-y;  position: fixed;  top: 0;  bottom: 0;  left: 0;  }
        /* right is unspecified, so that fret can properly follow window-resizing */

/* nav-bars, vertical */
    div#nav-bar-by-spiral-left  {  width: 5pt;
        padding-left: .1em;  padding-right: .1em;  font-size: 12pt;  
        position: fixed;  top: 0;  left: 25pt;  }
    div#nav-bar-by-spiral-right  {  width: 46pt;
        padding-left: .1em;  padding-right: .1em; text-align: right;  font-size: 12pt;  
        position: fixed;  bottom: 0;  right: 10pt;  }
    div#nav-bar-by-fret-left  {  width: 5pt;  
        padding-left: .1em;  padding-right: .1em;  font-size: 12pt;  
        position: fixed;  top: 0;  left: 49pt;  }
    div#nav-bar-by-fret-right  {  width: 46pt;  
        padding-left: .1em;  padding-right: .1em; text-align: right;  font-size: 12pt;  position: fixed;  bottom: 0;  right: 49pt;  }

/* corpus */
    div#main  {  font-size: 10pt;  width: auto;  
        margin-left: 47pt;  margin-right: 47pt;  margin-top: 100pt;  margin-bottom: 10em;  padding-left: .5em;  padding-right: .5em;  
        position: absolute;  top: 0;  bottom: 0;  left: 47pt;  right: 47pt;  } 

    div#ultimate  {  text-align: center;  font-style: bold;  padding-bottom: 150em;  }
    div#footer  {  text-align: center;  position: fixed;  top: auto;  bottom: 0;  left: 72pt;  right: 72pt;  }

/* hereafter follow the classes [of div body], introduced by a dot */
    div.darkred    {  background-color: "#3e0605;"  /* darkred */  }
    div.red    {  background-color: "#FF0000;"  /* red */  }
    div.white  {  background-color: "#FFFFFF;"  /* white */  }
/* terminus */