diff options
Diffstat (limited to 'gfsm/gfsm/doc/programs/gfsmprogs.css')
| -rw-r--r-- | gfsm/gfsm/doc/programs/gfsmprogs.css | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/gfsm/gfsm/doc/programs/gfsmprogs.css b/gfsm/gfsm/doc/programs/gfsmprogs.css deleted file mode 100644 index f5dc6d5..0000000 --- a/gfsm/gfsm/doc/programs/gfsmprogs.css +++ /dev/null @@ -1,38 +0,0 @@ -BODY,H1,H2,H3,H4,H5,H6,P,CENTER,TD,TH,UL,DL,DIV { - font-family: Geneva, Arial, Helvetica, sans-serif; -} -HR,BODY { - margin-left: 4px; - margin-right: 4px; -} -H1,H2 { - margin-bottom: 0px; - padding-bottom: 0px; - text-align: left; - color: #000099; -} -H1 { margin-left: 4px; } -H2,H3,H4,H5,H6,P,CENTER,CL,DIV,TD,TH,DL,DT,DIV { - margin-left: 24px; -} -PRE { - border: 1px dashed #0000ff; - background-color: #f5f5f5; - margin-top: 4px; - margin-bottom: 4px; - margin-left: 48px; - margin-right: 24px; - padding-left: 0px; - padding-right: 0px; - padding-top: 4px; - padding-bottom: 4px; -} -/*UL { - background-color: #eeeeee; - margin-top: 4px; - margin-bottom: 4px; - margin-left: 16px; - margin-right: 16px; - padding-top: 4px; - padding-bottom: 8px; -}*/
\ No newline at end of file |