N gras, placement figures

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8384 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 10 insertions, 1 deletions

diff --git a/doc/macros.tex b/doc/macros.tex
index bacf28a687..4ee407abbd 100755
--- a/doc/macros.tex
+++ b/doc/macros.tex
@@ -329,7 +329,7 @@
 \newcommand{\Sort}{\mbox{$\cal S$}}
 \newcommand{\convert}{=_{\beta\delta\iota\zeta}}
 \newcommand{\leconvert}{\leq_{\beta\delta\iota\zeta}}
-\newcommand{\NN}{\mbox{I\hspace{-7pt}N}}
+\newcommand{\NN}{\mathbb{N}}
 \newcommand{\inference}[1]{$${#1}$$}
 \newcommand{\compat}[2]{\mbox{$[#1|#2]$}}
 \newcommand{\tristackrel}[3]{\mathrel{\mathop{#2}\limits_{#3}^{#1}}}
@@ -375,6 +375,15 @@
 \newcommand{\thrule}[5]{#5: {\mover{#1  \qquad #2 \qquad #3}{#4}}}
 
 
+
+% placement of figures
+
+\renewcommand{\topfraction}{.95}
+\renewcommand{\bottomfraction}{.95}
+\renewcommand{\textfraction}{.05}
+\renewcommand{\floatpagefraction}{.8}
+
+
 % $Id$