From 1abd3aa39e75e22eb335444b0c83bc47f7fac96d Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 24 May 2010 18:55:14 -0600
Subject: [PATCH] tweak figure and footnote rendering
original commit: f3572160680ffd8525c6836dde1b3e3de0dc8f25
---
collects/scriblib/figure.tex | 4 ++--
collects/scriblib/footnote.css | 1 +
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/collects/scriblib/figure.tex b/collects/scriblib/figure.tex
index 04e90fac..a9c4c041 100644
--- a/collects/scriblib/figure.tex
+++ b/collects/scriblib/figure.tex
@@ -9,7 +9,7 @@
\newlength{\FigOrigskip}
\FigOrigskip=\parskip
-\newenvironment{CenterfigureMulti}{\begin{figure*}[htp]\centering}{\end{figure*}}
+\newenvironment{CenterfigureMulti}{\begin{figure*}[tp]\centering}{\end{figure*}}
\newenvironment{CenterfigureMultiWide}{\begin{CenterfigureMulti}}{\end{CenterfigureMulti}}
-\newenvironment{Centerfigure}{\begin{figure}[htp]\centering}{\end{figure}}
+\newenvironment{Centerfigure}{\begin{figure}[tp]\centering}{\end{figure}}
\newenvironment{FigureInside}{\begin{list}{}{\leftmargin=0pt\topsep=0pt\parsep=\FigOrigskip\partopsep=0pt}\item}{\end{list}}
diff --git a/collects/scriblib/footnote.css b/collects/scriblib/footnote.css
index 535dc518..5d9ebcdf 100644
--- a/collects/scriblib/footnote.css
+++ b/collects/scriblib/footnote.css
@@ -10,6 +10,7 @@
.NoteContent {
margin: 0 0 0 0;
+ font-size: 85%;
}
.FootnoteContent {