diff --git a/collects/scribble/scribble.css b/collects/scribble/scribble.css index 38b12c61..d40e5602 100644 --- a/collects/scribble/scribble.css +++ b/collects/scribble/scribble.css @@ -436,6 +436,10 @@ i { .hspace { } +.slant { + font-style: oblique; +} + .inferencetop td { border-bottom: 1px solid black; text-align: center; diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex index b5a89457..1ea92c57 100644 --- a/collects/scribble/scribble.tex +++ b/collects/scribble/scribble.tex @@ -77,6 +77,8 @@ \newcommand{\preDoc}{\sloppy} \newcommand{\postDoc}{} +\newcommand{\slant}[1]{{\textsl{#1}}} + \newenvironment{leftindent}{\begin{quote}}{\end{quote}} \newenvironment{insetpara}{\begin{quote}}{\end{quote}}