/*------------------------------------------------------------------*/
/* LesK.css - Common CSS definitions for LesK htm                   */
/*------------------------------------------------------------------*/
/* 2014-02-22 GLR - Initial creation                                */
/*------------------------------------------------------------------*/

/* Set HTML tag characteristics */    
body         { font-family:      Arial, sans-serif;
               background-color: #FFFFFF;
               font-size:        24pt; 
               }
h1           { text-align:       left;    /* normal section headers */
              font-size:        36pt;
              }
h1.title     { text-align:       center;  /* used in the title page only */
              font-size:        36pt;
              }
h2           { font-family:      Arial, sans-serif;
              font-size:        30pt;
              }
h3           { font-family:      Arial, sans-serif;
              text-align:       center;
              }
pre          { font-family:      lucida;   /* used for blocks of code */
              font-size:        20pt;
              }

/* Definitions used in the Table-of-Contents section */              
a.toc        { font-size:        30pt;     
              line-height:      150%;
              text-indent:      25px;
              }
ul.toc       { list-style-type:  none;
              }              

/* Definitions used in the Summary section */              
a.summary    { font-size:        30pt;    
              color:            black;
              text-decoration:  none;
              line-height:      150%;
              }

/* Define custom style classes */
.emphasize   { font-style:       italic;
              color:            black;    /* do color & bold "just for fun" */
              font-weight:      bold;
              }
.inlinecode  { font-family:     consolas;
              font-weight:      bold;
              font-style:       italic;
/*
              text-decoration:  over;
              line-height:      150%;
              color: green;
*/
              }