diff options
Diffstat (limited to 'desiredata/doc/1.manual/pdmanual.css')
| -rwxr-xr-x | desiredata/doc/1.manual/pdmanual.css | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/desiredata/doc/1.manual/pdmanual.css b/desiredata/doc/1.manual/pdmanual.css deleted file mode 100755 index 01d66ab2..00000000 --- a/desiredata/doc/1.manual/pdmanual.css +++ /dev/null @@ -1,39 +0,0 @@ - -HTML { - background: #ffffff; - color: #000000; - font-family: Times, Times New Roman, serif; - font-size: 10pt; -} -BODY { - width: 6.5in; - margin-left: 0.5in -} -H1 { - font-size: 36pt; - text-align: center; -} -H2 { - font-size: 10pt; - text-align: center; -} -H3 { - font-size: 12pt; - text-align: left; -} -H4 { - font-size: 10pt; - text-align: left; -} -H5 { - font-size: 8pt; - text-align: left; -} -H6 { - font-size: 8pt; - text-align: left; -} -PRE { - font-size: 8pt; - text-align: left; -} |