\usepackage{color}
\usepackage{fancyvrb}
\usepackage[show]{ed}
-\usepackage{floatflt}
\definecolor{gray}{gray}{0.85}
%\newcommand{\logo}[3]{
\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}