diff options
| author | Martin Odersky <odersky@gmail.com> | 2003-08-21 09:44:58 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2003-08-21 09:44:58 +0000 |
| commit | 8341c5c36e88000e24bfd26d62c98805fc96fdcf (patch) | |
| tree | e79189602238f756f686bf7805d91289cbe22d2c /support | |
| parent | da5c361c7af30fc25f542bad8e12f3fceefc144d (diff) | |
| download | scala-8341c5c36e88000e24bfd26d62c98805fc96fdcf.tar.gz scala-8341c5c36e88000e24bfd26d62c98805fc96fdcf.tar.bz2 scala-8341c5c36e88000e24bfd26d62c98805fc96fdcf.zip | |
*** empty log message ***
Diffstat (limited to 'support')
| -rw-r--r-- | support/latex/scaladefs.sty | 2 | ||||
| -rw-r--r-- | support/latex/scaladoc.sty | 21 |
2 files changed, 12 insertions, 11 deletions
diff --git a/support/latex/scaladefs.sty b/support/latex/scaladefs.sty index 578fcfa3fa..9fa86e130d 100644 --- a/support/latex/scaladefs.sty +++ b/support/latex/scaladefs.sty @@ -68,6 +68,6 @@ \newcommand{\EOL}{\la\mbox{EOL}\ra} \newcommand{\syntax}{{\bf Syntax:}} \newcommand{\todo}[1]{$\clubsuit$ {\bf #1} $\spadesuit$} -\newcommand{\Dollar}{\$}%$ +\newcommand{\Dollar}{\mbox{\$}}%$ \newcommand{\sref}[1]{\S\ref{#1}} \newcommand{\nyi}[1]{\footnote{#1 not yet implemented.}}
\ No newline at end of file diff --git a/support/latex/scaladoc.sty b/support/latex/scaladoc.sty index 6c45632aa1..2227ad1270 100644 --- a/support/latex/scaladoc.sty +++ b/support/latex/scaladoc.sty @@ -1,5 +1,5 @@ \usepackage{fourier} -\usepackage[scaled]{luximono} +\usepackage[scaled=0.8]{luximono} \usepackage{helvet} \usepackage{color} @@ -130,9 +130,7 @@ sensitive,% morecomment=[l]//,% morecomment=[s]{/*}{*/},% - morestring=[b]",% - morestring=[b]',% -}[keywords,comments,strings]% +}[keywords,comments]% % activate the language and predefine settings \lstset{ @@ -141,11 +139,11 @@ aboveskip=3mm,% belowskip=3mm,% fontadjust=true,% - columns=[c]flexible,% + columns=[c]fixed,% keepspaces=true,% - basewidth={0.5em, 0.425em},% + basewidth={0.58em, 0.53em},% tabsize=2,% - basicstyle=\small\renewcommand{\baselinestretch}{0.95}\ttfamily,% + basicstyle=\renewcommand{\baselinestretch}{0.95}\ttfamily,% commentstyle=\itshape,% keywordstyle=\bfseries,% mathescape=true,% @@ -167,7 +165,7 @@ keepspaces=true,% basewidth={0.5em, 0.425em},% tabsize=2,% - basicstyle=\small\renewcommand{\baselinestretch}{0.95}\ttfamily,% + basicstyle=\renewcommand{\baselinestretch}{0.95}\ttfamily,% commentstyle=\rm,% keywordstyle=\bfseries,% mathescape=true,% @@ -185,9 +183,12 @@ } % to define: caption, label \newcommand{\code}[1]{% - \lstinline[keywordstyle=,% + \lstinline[%keywordstyle=,% flexiblecolumns=true,% - basicstyle=\small\ttfamily]£#1£} + basicstyle=\ttfamily]£#1£} + + + \newcommand{\clearemptydoublepage}{\newpage{\pagestyle{empty}\cleardoublepage}} |