scribble: another Latex/PDF section repair

original commit: 7d2ce136fab84ca1f559fceaa3e457e1bb630380
This commit is contained in:
Matthew Flatt 2012-09-03 08:07:34 -06:00
parent c846c1551a
commit 40ac269f94

View File

@ -174,6 +174,9 @@
\newcommand{\subsubsectionhidden}[1]{\Ssubsubsection{#1}{#1}}
\newcommand{\subsubsubsectionhidden}[1]{\Ssubsubsubsection{#1}{#1}}
% Generated by `subsubsub*section':
\newcommand{\SSubSubSubSection}[1]{\Ssubsubsubsubsectionhidden{#1}}
% For hidden parts with an empty title:
\newcommand{\notitlesection}{\vspace{2ex}\phantomsection\noindent}