Guido van Rossum | 1d8428f | 1992-02-11 15:52:03 +0000 | [diff] [blame] | 1 | % Style parameters and macros used by some documents here |
Guido van Rossum | 515834a | 1991-01-22 11:45:29 +0000 | [diff] [blame] | 2 | |
Guido van Rossum | 1d8428f | 1992-02-11 15:52:03 +0000 | [diff] [blame] | 3 | % Style parameters |
Guido van Rossum | 92fba02 | 1991-11-12 15:44:51 +0000 | [diff] [blame] | 4 | \raggedbottom |
| 5 | \sloppy |
Guido van Rossum | 1d8428f | 1992-02-11 15:52:03 +0000 | [diff] [blame] | 6 | \parindent = 0mm |
| 7 | \parskip = 2mm |
Guido van Rossum | 92fba02 | 1991-11-12 15:44:51 +0000 | [diff] [blame] | 8 | |
Guido van Rossum | 1d8428f | 1992-02-11 15:52:03 +0000 | [diff] [blame] | 9 | % Page style parameters for A4 (European standard paper size) |
Guido van Rossum | 7944828 | 1992-01-17 10:42:38 +0000 | [diff] [blame] | 10 | %\textwidth = 160mm |
| 11 | %\textheight = 240mm |
| 12 | %\topmargin = -11mm |
Guido van Rossum | 4410c75 | 1991-06-04 20:22:18 +0000 | [diff] [blame] | 13 | |
Guido van Rossum | 1d8428f | 1992-02-11 15:52:03 +0000 | [diff] [blame] | 14 | % Page style parameters for U.S. standard paper size |
Guido van Rossum | 7944828 | 1992-01-17 10:42:38 +0000 | [diff] [blame] | 15 | \textwidth = 160mm |
| 16 | \textheight = 220mm |
| 17 | \topmargin = -11mm |
Guido van Rossum | 4410c75 | 1991-06-04 20:22:18 +0000 | [diff] [blame] | 18 | |
Guido van Rossum | 1d8428f | 1992-02-11 15:52:03 +0000 | [diff] [blame] | 19 | \oddsidemargin = 1.5mm |
| 20 | \evensidemargin = 1.5mm |
Guido van Rossum | 515834a | 1991-01-22 11:45:29 +0000 | [diff] [blame] | 21 | |
Guido van Rossum | 4410c75 | 1991-06-04 20:22:18 +0000 | [diff] [blame] | 22 | % Frequently used system name |
Guido van Rossum | 515834a | 1991-01-22 11:45:29 +0000 | [diff] [blame] | 23 | \newcommand{\UNIX}{U{\sc nix}} |
| 24 | |
Guido van Rossum | 4c22cb2 | 1991-01-25 13:28:15 +0000 | [diff] [blame] | 25 | % Variable used by begin code command |
Guido van Rossum | 44000ed | 1991-01-24 16:54:29 +0000 | [diff] [blame] | 26 | \newlength{\codewidth} |
Guido van Rossum | 44000ed | 1991-01-24 16:54:29 +0000 | [diff] [blame] | 27 | |
Guido van Rossum | 4c22cb2 | 1991-01-25 13:28:15 +0000 | [diff] [blame] | 28 | \newcommand{\bcode}{ |
| 29 | % Calculate the text width for the minipage: |
| 30 | \setlength{\codewidth}{\linewidth} |
| 31 | \addtolength{\codewidth}{-\parindent} |
| 32 | % |
Guido van Rossum | 4c22cb2 | 1991-01-25 13:28:15 +0000 | [diff] [blame] | 33 | \par |
Guido van Rossum | 92fba02 | 1991-11-12 15:44:51 +0000 | [diff] [blame] | 34 | \vspace{3mm} |
Guido van Rossum | 4c22cb2 | 1991-01-25 13:28:15 +0000 | [diff] [blame] | 35 | \indent |
| 36 | \begin{minipage}[t]{\codewidth} |
| 37 | } |
| 38 | |
| 39 | \newcommand{\ecode}{ |
| 40 | \end{minipage} |
| 41 | \vspace{3mm} |
| 42 | \par |
| 43 | \noindent |
| 44 | } |