| changeset 94 | aeaf1374dc67 |
| parent 93 | f2bda6ba4952 |
| child 126 | 0b302c0b449a |
| 93:f2bda6ba4952 | 94:aeaf1374dc67 |
|---|---|
22 |
22 |
23 % gray boxes |
23 % gray boxes |
24 \definecolor{mygrey}{rgb}{.80,.80,.80} |
24 \definecolor{mygrey}{rgb}{.80,.80,.80} |
25 |
25 |
26 % mathpatir |
26 % mathpatir |
27 \mprset{sep=0.7em} |
27 \mprset{sep=0.9em} |
28 \mprset{center=false} |
28 \mprset{center=false} |
29 \mprset{flushleft=true} |
29 \mprset{flushleft=true} |
30 |
30 |
31 % for uniform font size |
31 % for uniform font size |
32 %\renewcommand{\isastyle}{\isastyleminor} |
32 %\renewcommand{\isastyle}{\isastyleminor} |