@@ -36,7 +36,7 @@
overflow: auto; }
#table-of-contents h2 {
font-size: 10pt;
- max-width: 8em;
+ max-width: 9em;
font-weight: normal;
padding-left: 0.5em;