From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 24 Jan 2006 14:28:31 +0000 (+0000)
Subject: centered screenshots
X-Git-Tag: make_still_working~7776
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ec7272301a06b353ba9bb92e547ab08c8195f811;p=helm.git

centered screenshots
---

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index a315c8faa..564612b36 100644
--- a/helm/papers/matita/matita2.tex
+++ b/helm/papers/matita/matita2.tex
@@ -7,7 +7,6 @@
 \usepackage{color}
 \usepackage{fancyvrb}
 \usepackage[show]{ed}
-\usepackage{floatflt}
 
 \definecolor{gray}{gray}{0.85}
 %\newcommand{\logo}[3]{
@@ -1160,7 +1159,7 @@ and admitted ambiguity in terms input by users.
  \begin{center}
   \includegraphics[width=0.40\textwidth]{matita-screenshot-selection}
   \hspace{0.05\textwidth}
-  \includegraphics[width=0.50\textwidth]{matita-screenshot-href}
+  \raisebox{0.4cm}{\includegraphics[width=0.50\textwidth]{matita-screenshot-href}}
   \caption{Semantic selection and hyperlinks}
   \label{fig:semselection}
  \end{center}