From: guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Thu, 26 Aug 2004 07:56:30 +0000 (+0000)
Subject: use postscript fonts to save space
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e3a0f60ef40af2ce81a38e4235f24fb78cb8e03f;p=dealii-svn.git

use postscript fonts to save space


git-svn-id: https://svn.dealii.org/trunk@9581 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/doc/reports/assemble/assemble.pdf b/deal.II/doc/reports/assemble/assemble.pdf
index 032bab5048..073d8afaf8 100644
Binary files a/deal.II/doc/reports/assemble/assemble.pdf and b/deal.II/doc/reports/assemble/assemble.pdf differ
diff --git a/deal.II/doc/reports/assemble/assemble.tex b/deal.II/doc/reports/assemble/assemble.tex
index ccc0a3db7c..6e0e9669a0 100644
--- a/deal.II/doc/reports/assemble/assemble.tex
+++ b/deal.II/doc/reports/assemble/assemble.tex
@@ -1,4 +1,5 @@
 \documentclass{article}
+\usepackage{times}
 \usepackage{amsmath}
 \usepackage{amsfonts}
 \usepackage{a4}