| changeset 93 | f2bda6ba4952 |
| parent 80 | eb589fa73fc1 |
| child 94 | aeaf1374dc67 |
| 92:b9d0dd18c81e | 93:f2bda6ba4952 |
|---|---|
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.8em} |
27 \mprset{sep=0.7em} |
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} |