diff options
Diffstat (limited to 'vignettes/header.tex')
| -rw-r--r-- | vignettes/header.tex | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/vignettes/header.tex b/vignettes/header.tex index 707997c4..476415e5 100644 --- a/vignettes/header.tex +++ b/vignettes/header.tex @@ -21,11 +21,3 @@ \RequirePackage{graphicx,ae,fancyvrb}
\IfFileExists{upquote.sty}{\RequirePackage{upquote}}{}
\usepackage{relsize}
-
-\DefineVerbatimEnvironment{Sinput}{Verbatim}{baselinestretch=1.05}
-\DefineVerbatimEnvironment{Soutput}{Verbatim}{fontfamily=courier,
- baselinestretch=1.05,
- fontshape=it,
- fontsize=\relsize{-1}}
-\DefineVerbatimEnvironment{Scode}{Verbatim}{}
-\newenvironment{Schunk}{}{}
|