% and a page number in the margin. We use \inothermargin, since it is slightly
% bigger.
% This automatically prefixes the reference name with def:
-\define[1]\refdef{\inothermargin{\ref[t][def:#1] p.\ref[p][def:#1]}}
+\define[1]\refdef{\inothermargin{\goto{\ref[t][def:#1] p.\ref[p][def:#1]}[def:#1]}}
+
+% Shortcuts to write in smallcaps
+\define[0]\VHDL{\small{VHDL}}
+\define[0]\GHC{\small{GHC}}