Move references to the larger margin.

diff --git a/Utils/Shortcuts.tex b/Utils/Shortcuts.tex
index 442a5c4bd988b6615a9bd0c9bce8e70acfc52ba7..80d1696c0369506532aaa20df9a90c7a6f12bf73 100644 (file)
--- a/Utils/Shortcuts.tex
+++ b/Utils/Shortcuts.tex
@@ -22,10 +22,10 @@
 \define[2]\defreftxt{\reference[def:#1]{#2}}
 
 % Reference a defined reference (using \defref). Will put the reference text
-% and a page number in the margin. We use \inothermargin, since it is slightly
+% and a page number in the margin. We use \inmargin, since it is slightly
 % bigger.
 % This automatically prefixes the reference name with def:
-\define[1]\refdef{\inothermargin{\goto{\ref[t][def:#1] p.\ref[p][def:#1]}[def:#1]}}
+\define[1]\refdef{\inmargin{\goto{\ref[t][def:#1] p.\ref[p][def:#1]}[def:#1]}}
 
 % Shortcuts to write in smallcaps
 \def\VHDL{\small{VHDL}}