From c6a4ed3be89733104d5385a0d3be2e6eb893a0b0 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 23 Apr 2008 00:20:25 +0000
Subject: [PATCH] proprocessor doc, merge scribblings and doc-categories fields

svn: r9414

original commit: a26b334c67a2d77b56c8a83e0856a8f538b94e79
---
 collects/scribble/scribble.css        | 8 ++++++++
 collects/scribblings/scribble/info.ss | 3 +--
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/collects/scribble/scribble.css b/collects/scribble/scribble.css
index ede33cc3..a43c55f5 100644
--- a/collects/scribble/scribble.css
+++ b/collects/scribble/scribble.css
@@ -196,6 +196,14 @@ font-weight: bold;
   margin: 0.2em 0.2em 0.2em 0.2em;
 }
 
+.sepspace { 
+  font-size: 40%;
+}
+
+.septitle { 
+  font-size: 70%;
+}
+
 /* ---------------------------------------- */
 /* Inherited methods, left margin */
 
diff --git a/collects/scribblings/scribble/info.ss b/collects/scribblings/scribble/info.ss
index ddd6ca1f..7a7f6ba7 100644
--- a/collects/scribblings/scribble/info.ss
+++ b/collects/scribblings/scribble/info.ss
@@ -1,4 +1,3 @@
 #lang setup/infotab
 
-(define scribblings '(("scribble.scrbl" (multi-page))))
-(define doc-categories '(tool))
+(define scribblings '(("scribble.scrbl" (multi-page) (tool))))