centered screenshots

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index a315c8faad9df2c8e0386d0706eedf165e7ddaa9..564612b36912ddaf2da4794e5a2a0f303a66163b 100644 (file)
--- 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}