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