From ec7272301a06b353ba9bb92e547ab08c8195f811 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 24 Jan 2006 14:28:31 +0000
Subject: [PATCH] centered screenshots

---
 helm/papers/matita/matita2.tex | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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}
-- 
2.39.5