Use \VHDL\ (etc.) instead of relying on \autoinsertnextspace.

[matthijs/master-project/report.git] / Utils / Formats.tex

diff --git a/Utils/Formats.tex b/Utils/Formats.tex
index 93e9d67bff859a0376ad0920b2f38cf55f1f8c51..8836a9628327d9c53bdad5d30f44c5e16ad91184 100644 (file)
--- a/Utils/Formats.tex
+++ b/Utils/Formats.tex
@@ -17,11 +17,13 @@
 }
 
 % Define a \strikethrough command. For some reason, this does blue
-% strikethrough, sometime that still needs fixing.
+% strikethrough, sometime that still needs fixing. We add some offset,
+% since the strikethrough is just below the middle for some reason.
 \definetextbackground
   [strikethrough]
   [location=text,
    alternative=4,
+   voffset=0.5mm,
    background=,
    frame=off]
 
@@ -36,4 +38,8 @@
 % Put a bit of space betwen paragraphs, to make them easier to distinguish.
 \setupwhitespace[small]
 
+% Use the c alternative for the toc, which uses dots between the section
+% name and the page number.
+\setupcombinedlist      [content][alternative=c]
+
 % vim: set sw=2 sts=2 expandtab: