From a0619711b34e87cbadf783032718acee6691a0bf Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 28 Nov 2012 14:14:33 -0800 Subject: [PATCH] Switch to use almost-standard DOCTYPE for Scribble. Also switches scribble search trampoline to standard DOCTYPE. Scribble's HTML output currently relies on the quirks-mode box model for layout of the many tables used in rendering. However, Scribble doesn't need the rest of the changes in browser quirks modes, so we choose a DOCTYPE that just changes the box model. It's non-obvious how to replicated this formatting with CSS in standard-mode rendering. Probably a better long term solution is to move away from table-based layout. See further discussion on GitHub pull request 158 here: https://github.com/plt/racket/pull/158 original commit: d6b0dfcd0451d3816bfe1e331a275ef2792fbb88 --- collects/scribble/scribble-prefix.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribble/scribble-prefix.html b/collects/scribble/scribble-prefix.html index 4ef584cc..f77a1b6e 100644 --- a/collects/scribble/scribble-prefix.html +++ b/collects/scribble/scribble-prefix.html @@ -1 +1 @@ - +