diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-04-08T15·51+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-04-08T15·51+0000 |
| commit | 87bf541f23723f6a8c7f05c89984c5df0c450ec2 (patch) | |
| tree | 2c6158963a8ba411d5de8323ede691530cbd0926 /doc/manual/style.css | |
| parent | b0c9baf1b5843acbb954d21bcb5cacc897236c3b (diff) | |
* Documented the primops.
Diffstat (limited to 'doc/manual/style.css')
| -rw-r--r-- | doc/manual/style.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css index 5b8534533d05..a9b6fd2c67fc 100644 --- a/doc/manual/style.css +++ b/doc/manual/style.css @@ -218,4 +218,9 @@ div.epigraph { font-style: italic; text-align: right; +} + +table.productionset table.productionset +{ + font-family: monospace; } \ No newline at end of file |