-/* 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
+/* 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; }