proprocessor doc, merge scribblings and doc-categories fields

svn: r9414

original commit: a26b334c67a2d77b56c8a83e0856a8f538b94e79
This commit is contained in:
Matthew Flatt 2008-04-23 00:20:25 +00:00
parent 4f96a2ef97
commit c6a4ed3be8
2 changed files with 9 additions and 2 deletions

View File

@ -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 */

View File

@ -1,4 +1,3 @@
#lang setup/infotab
(define scribblings '(("scribble.scrbl" (multi-page))))
(define doc-categories '(tool))
(define scribblings '(("scribble.scrbl" (multi-page) (tool))))