From 7d9c1e7c7507ba7128c93e5e06e17ac1d1adb946 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 27 Aug 2008 12:28:24 +0000
Subject: [PATCH] fix some remaining Latex-isms that Eli found in the docs

svn: r11454

original commit: 744df67d4e9564bb34cbe6c1efe68499ce9e3d21
---
 collects/scribble/scribble.css | 4 ++++
 collects/scribble/scribble.tex | 2 ++
 2 files changed, 6 insertions(+)

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}}