Commit 07eedd5c authored by Simon Marlow's avatar Simon Marlow
Browse files

indent the TOC better in HTML

parent d03926e0
......@@ -31,6 +31,11 @@
% Style sheet additions
%
\Css{
span.partToc { margin-left: 0em; }
span.chapterToc { margin-left: 2em; }
span.sectionToc { margin-left: 4em; }
span.subsectionToc { margin-left: 6em; }
%
% We like a smaller sans font.
% body {
% font-family: Bitstream Vera Sans, Arial, Helvetica, sans-serif;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment