H2 {line-height:45px; margin-bottom:-2px; text-align: left; font-size:26px;
       color:#000000}

   H3 {line-height:10px; margin-bottom:10px; text-align: left}

   H4  {margin-bottom:4px; 
        margin-top:6px;
        font-size:20px;       
        text-align:left;
       }

   body {background-color:  #eaeaea;  
        font-family: Calibri,Trebuchet MS,Verdana;
         font-size:18px; 
         line-height:22px;
         /* widths of columns set separately 
         max-width: 720px;   */
        }

   pre {font-size:14px; font-weight:bold;
        margin-top:-6px; 
        margin-bottom:5px;
        margin-left:20px;
        } 


   code {font-size:15px; 
          font-weight:bold; 
          white-space:nowrap;
          margin:2px;}  /* 4px */

   code.h2 {font-size: 22px}

   body.popup{ text-decoration:underline; 
               font-size:18px;
               font-weight:normal;
               color:blue;
         }

   font.green{ color: #0ddd0d;
            }

   font.red { color: #ff0000;
            }

   div.popover{ backgroundcolor:#ffffe4;
                position:fixed;
                top:0;
                left:0;
              }
 
   p{ margin:0px;
      margin-bottom:14px;
    }

   li{ margin-top:5px;
     }

   ul{ margin-top:2px;
       margin-bottom:5px;
     }

   iframe { margin-bottom:-24px; } 

   dl{ margin-left:20px;
       margin-top:-5px
       margin-bottom:-5px
     }

   dd { margin-bottom:7px;
      }

   hr.divider { width:70px;
                text-align:left;
                margin-left:250px;
              }
/* rgb colors:
      245, 115, 67 - looks like algorithm, variable, print
      64, 64, 255  - TLA/pluscal multi-line comment?
      0, 128, 64   - TLA/pluscal single line comment?
      0, 0, 255    - perhaps a string?
      128, 0, 128  - TLA keyword: EXTENDS, SUBSET 
*/

   font.pcal { color:rgb(245,115,67); /*245,115,67*/
             }
   font.str  { color:rgb(0,120,255);
             }
   font.tla  { color:rgb(170,0,228);  /* 170, 0, 128*/
             }
   font.com { color:rgb(64,64,255);
            }
   font.lcom { color:rgb(0,128,64);
             }
   /* For table of contents subsection */
   p.tc  { margin-top:5px; 
           margin-bottom:-20px;
           }


#main table {
border-collapse: collapse;
}

#main_leftcolumn {
vertical-align: top;
width: 185px; 
background-color: #dadada; /* for TLA: #f6f6f2 */
font-size:20px;
}

#main_contentcolumn {
vertical-align: top;
width: Auto;
max-width: 600px;
background-color:  #eaeaea;  
}