  \begin{itemize}
    \item `font' is a number: 0 is the built-in system font, 1 is the
    user-selected font.
  \end{itemize}

\begin{example}
    \config{ui viewport: 15,20,100,150,-}
\end{example}
This displays the menu starting at 15px from the left of the screen and 20px
from the top of the screen.  It is 100px wide and 150px high. The font is
defined in the theme \fname{.cfg} file or in the \setting{Theme Settings} menu.

