diff options
Diffstat (limited to 'gfsm/gfsm/doc/programs/gfsmprogs.css')
| -rw-r--r-- | gfsm/gfsm/doc/programs/gfsmprogs.css | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/gfsm/gfsm/doc/programs/gfsmprogs.css b/gfsm/gfsm/doc/programs/gfsmprogs.css new file mode 100644 index 0000000..f5dc6d5 --- /dev/null +++ b/gfsm/gfsm/doc/programs/gfsmprogs.css @@ -0,0 +1,38 @@ +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 |