1.1 --- a/src/Doc/JEdit/JEdit.thy	Thu Nov 07 13:34:04 2013 +0100
     1.2 +++ b/src/Doc/JEdit/JEdit.thy	Thu Nov 07 13:38:44 2013 +0100
     1.3 @@ -376,7 +376,7 @@
     1.4  
     1.5    \begin{figure}[htb]
     1.6    \begin{center}
     1.7 -  \includegraphics[scale=0.3]{output}
     1.8 +  \includegraphics[width=\textwidth]{output}
     1.9    \end{center}
    1.10    \caption{Multiple views on prover output: gutter area with icon,
    1.11      text area with popup, overview area, Theories panel, Output panel}
    1.12 @@ -450,7 +450,7 @@
    1.13  
    1.14    \begin{figure}[htb]
    1.15    \begin{center}
    1.16 -  \includegraphics[scale=0.5]{popup1}
    1.17 +  \includegraphics[scale=0.3]{popup1}
    1.18    \end{center}
    1.19    \caption{Tooltip and hyperlink for some formal entity}
    1.20    \label{fig:tooltip}
    1.21 @@ -462,7 +462,7 @@
    1.22  
    1.23    \begin{figure}[htb]
    1.24    \begin{center}
    1.25 -  \includegraphics[scale=0.5]{popup2}
    1.26 +  \includegraphics[scale=0.3]{popup2}
    1.27    \end{center}
    1.28    \caption{Nested tooltips over formal entities}
    1.29    \label{fig:nested-tooltips}
    1.30 @@ -778,7 +778,7 @@
    1.31  
    1.32    \begin{figure}[htb]
    1.33    \begin{center}
    1.34 -  \includegraphics[scale=0.5]{auto-tools}
    1.35 +  \includegraphics[scale=0.3]{auto-tools}
    1.36    \end{center}
    1.37    \caption{Results of automatically tried tools}
    1.38    \label{fig:auto-tools}