From 90f57389747ea475bd1f6672f20f5359914c5c48 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 9 Aug 2013 12:59:51 -0600 Subject: [PATCH] scribble: fix "InBox" example's CSS original commit: 23a757aefa3e2f5d785e69e624170d9349989f5f --- .../scribble-doc/scribblings/scribble/config.scrbl | 2 +- pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/inbox.css | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/config.scrbl b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/config.scrbl index 5f6471ab..8655ee4e 100644 --- a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/config.scrbl +++ b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/config.scrbl @@ -105,7 +105,7 @@ For example, a Scribble document combined with an @filepath{inbox.css} that contains @verbatim[#:indent 2]|{ - .inbox { + .InBox { padding: 0.2em; border: 1px solid #000000; } diff --git a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/inbox.css b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/inbox.css index 4cc3a903..d33f2076 100644 --- a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/inbox.css +++ b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/inbox.css @@ -1,4 +1,4 @@ -.inbox { +.InBox { padding: 0.2em; border: 1px solid #000000; }