fixed <pre> margins; updated conditional display style
tree0bb788430ad3ade0da2c858b41bcc8c4cd16ca48
-rw-r--r-- 9368 BUGS.txt
-rw-r--r-- 5219 COPYING.txt
-rw-r--r-- 40311 FAQ.txt
-rw-r--r-- 80086 HISTORY.txt
-rw-r--r-- 238 MANIFEST.in
-rw-r--r-- 9647 README.txt
-rw-r--r-- 2930 THANKS.txt
drwxr-xr-x - docs
drwxr-xr-x - docutils
drwxr-xr-x - extras
-rwxr-xr-x 638 install.py
drwxr-xr-x - licenses
-rwxr-xr-x 6080 setup.py
drwxr-xr-x - test
drwxr-xr-x - tools