src/Doc/JEdit/JEdit.thy

   In \figref{fig:isabelle-jedit-hdpi} the \<^emph>\<open>Metal\<close> look-and-feel is configured
   with custom fonts at 30 pixels, and the main text area and console at 36
   pixels. This leads to decent rendering quality, despite the old-fashioned
   appearance of \<^emph>\<open>Metal\<close>.
 
-  \begin{figure}[!htb]
+  \begin{sidewaysfigure}[!htb]
   \begin{center}
   \includegraphics[width=\textwidth]{isabelle-jedit-hdpi}
   \end{center}
   \caption{Metal look-and-feel with custom fonts for very high resolution}
   \label{fig:isabelle-jedit-hdpi}
-  \end{figure}
+  \end{sidewaysfigure}
 \<close>
 
 
 chapter \<open>Augmented jEdit functionality\<close>
 

   on certain parts of the text inserts that into the source in the proper
   place.
 
   \begin{figure}[!htb]
   \begin{center}
-  \includegraphics[scale=0.333]{auto-tools}
+  \includegraphics[scale=0.4]{auto-tools}
   \end{center}
   \caption{Result of automatically tried tools}
   \label{fig:auto-tools}
   \end{figure}