-/* This is an interesting debate.
- * In div#main, I think links should be
- * underlined, but it would be safe to
- * take text-decoration away from links in
- * div#tocframe. I like the hover underline
- * effect though.
- *
-#tocframe a:link, #tocframe a:visited {