/* Raju's style sheet*/
   body
      {color:black;
       background:white; 
       font-family:Verdana, Helvetica, Arial, sans-serif}
   p, ol, li, th, td
      {font-size:small;
       font-family:Verdana, Helvetica, Arial, sans-serif}
   h1, h2, h3, h4, h5
      {font-family: Garamond, "Times New Roman", serif}
   h1
      {font-size: 200%}
   h2
      {font-size: 150%}
   h3, h4, h5
      {font-size: 100%}
   pre
      {font-family: monospace}
   .menu
      {font-family:Verdana, Helvetica, Arial, sans-serif;
       font-size:medium;
       color:white}
   .menu-selected
      {font-family:Verdana, Helvetica, Arial, sans-serif;
       font-size:medium; color:white}
   .submenu
      {font-family:Verdana, Helvetica, Arial, sans-serif;
       font-size:small;
       color:white}
   .submenu-selected
      {font-family:Verdana, Helvetica, Arial, sans-serif;
       font-size:small;
       color:black}
   .footer
      {font-family:Verdana, Helvetica, Arial, sans-serif;
       font-size:x-small;
       color:silver}
   a.menu:link, a.menu:visited
      {color:white;
       text-decoration:none}
   a.menu:active, a.menu:hover
      {color:red;
       text-decoration:none}
   a.submenu:link, a.submenu:visited
      {color:white;
       text-decoration:none}
   a.submenu:active, a.submenu:hover
      {color:red;
       text-decoration:none}
   a.footer:link, a.footer:visited, a.footer:active, a.footer:hover
      {text-decoration:none}
   .code
      {background:#e7e7e7;
       font-family:monospace;
       font-size:small}
   .tbd
      {background:yellow}
   p.code
      {margin-left:5%}
   .note
      {color:gray;
       margin-left:5%}
   .session
      {background: ivory;
       padding: 1em;
       border: none}