/* This style sheet file determines the style for the table-of-contents
   for single-html/index.html and single-html/src-fs.html 
*/
h1.toc       { font-size: 180%; margin-top: 5px; margin-bottom: 1px }	
h2.toc       { font-size: 140%; margin-top: 25px; margin-bottom: 3px }
h3.toc       { font-size: 110%; margin-top: 20px; margin-bottom: 3px }
h4.toc       { font-size: 100%; margin-top: 20px; margin-bottom: 3px; font-style: italic }
ul.toc	     { margin-top: 2px; margin-bottom: 2px; list-style-image:url(no-image); margin-left:0px;}
li.toc	     { margin-top: 2px; margin-bottom: 2px; }