Argo.width: 700 Argo.height: 800 *tabs.height: 32 *tabs.font: *-helvetica-medium-r-*-12-*-iso8859-1 *tabs.foreground: #ffffaa Argo*tabs.background: #bdbdbd !Argo*tabs.background: #aab6aa *tabs.textmargin: 6 *tools.width: 50 *area.shadowThickness: 0 *viewer.shadowThickness: 0 *form.marginHeight: 5 *form.marginWidth: 2 !*form*background: #bdbdbd !*form*background: #cecece !*form*background: #aa92aa !*form*background: #aab655 !*form*background: #aab6aa *status.font: *-helvetica-medium-r-*-14-*-iso8859-1 Argo*location.background: #ffdbaa *form.area.?*background: #bdbdbd !!! percentage as a bar: *bar.width: 35 *bar.height: 5 *bar.displaypc: False *bar.foreground: green !Argo*bar.background: black Argo*bar.background: #bdbdbd *tools.entryBorder: 1 !!! percentage as a circle: !*bar.width: 35 !*bar.height: 35 !*bar.interiorColor: blue !*bar.completedColor: #bdbdbd *XmPanedWindow*allowResize: True Argo.Error.geometry: 300x100+200+200 Argo.Warning.geometry: 300x100+200+200 Argo*telnet.background: black Argo*telnet.foreground: green *telnet-board.shadowThickness: 0 ! HTML viewer Argo*html-form*background: #bdbdbd !Argo*html-form*background: #FBFBFF !*html*fontFamily1: new century schoolbook *html*fontSizes1: 60 72 80 100 120 140 180 *html*fontSizes2: 60 72 80 100 120 140 180 *html*fontSizes3: 60 72 80 100 120 140 180 *html*fontSizes4: 60 72 80 100 120 140 180 *html*fontSizes5: 60 72 80 100 120 140 180 *html*inline.width: 50 *html*inline.height: 50 Argo*html-form.html.inline.background: #ffb600 *html-form.width: 100 *html-form.height: 100 *html-status.width: 100 *html-status.height: 20 *html-status.resizable: False *html-status.foreground: #ffffaa *html-status.labelString: \ !*html-status.shadowThickness: 2 !Argo*html-form.html-status.background: #000000 !Argo*html-form.html-status.background: #aab6aa Argo*html-form.html-status.background: #aa6d55 !Argo*html-form.html-status.background: #ffff00 *html-form.html-status.foreground: white *html-status.fontList: *-helvetica-medium-r-*-12-*-iso8859-1 !Argo*balloon*background: #fbfbff Argo*balloon*background: #ffff00 *balloon*foreground: black *balloon*borderWidth: 1 *html-form.marginWidth: 0 *html-form.marginHeight: 0 *html-form.sashHeight: 0 *html-form.sashShadowThickness: 0 *html-form.sashWidth: 0 *html-form.separatorOn: False *html-form.spacing: 0 *html-form.shadowThickness: 0 *html*XmToggleButton.selectColor: red ! Plain text viewer *plain.foreground: black *plain.fontFamily: -*-courier-*-*-*-*-0-0-*-*-*-*-iso8859-1 !*plain.fontFamily: -*-lucidatypewriter-*-*-*-*-0-0-*-*-*-*-iso8859-1 !*plain.fontFamily: -*-prestige-*-*-*--0-0-*-*-*-*-iso8859-1 !*plain.fontFamily: -*-user-*-*-*--0-0-*-*-*-*-iso8859-1 *plain.lines: 35 !*plain.tablist: 136 272 408 544 680 816 952 1088 1224 ! Hotlist *hotlist.geometry: 500x400+350+300 ! History *history.geometry: 500x400+350+300 ! mailto agent *mail-compose.geometry: 500x400+350+300 *mail-compose*dialogTitle: Mail Compose ! Stylesheet for SGML document ! ----------------------------- *sgml.style: *STYLE.stylesheet: override ! Stylesheet for HTML documents ! ----------------------------- *html.style:\n\ *id: !ID\n\ *language: !LANG\n\ *target: !ID\n\ HTML.leftindent: 6.0\n\ HTML.justify: full\n\ HTML.textcolor: black\n\ HTML.rightindent: 2.0\n\ HTML.leading: 1.1\n\ *HEAD.hide: True\n\ *TITLE.hide: False\n\ *TITLE.title: True\n\ *BODY.postbreak: 2.0\n\ *FORM.postbreak: 2.0\n\ *H1.size: +2\n\ *H1.bold: True\n\ *H1.justify: center\n\ *H1.prebreak: 1.5\n\ *H1.postbreak: 1.5\n\ *H1.noindent: True\n\ *H1.family: alt\n\ *H2.size: +1\n\ *H2.textcolor: #00006d6d5555\n\ *H2.bold: True\n\ *H2.justify: left\n\ *H2.prebreak: 1.0\n\ *H2.postbreak: 1.0\n\ *H2.leftindent: -4.0\n\ *H2.parindent: 0.0\n\ *H2.noindent: True\n\ *H2.family: alt\n\ *H3.size: +1\n\ *H3.textcolor: #00006d6d5555\n\ *H3.slant: True\n\ *H3.justify: left\n\ *H3.prebreak: 1.0\n\ *H3.postbreak: 1.0\n\ *H3.leftindent: -4.0\n\ *H3.parindent: 0.0\n\ *H3.noindent: True\n\ *H4.bold: True\n\ *H4.justify: left\n\ *H4.prebreak: 1.0\n\ *H4.postbreak: 0.5\n\ *H4.parindent: 0.0\n\ *H4.noindent: True\n\ *H5.slant: True\n\ *H5.prebreak: 1.0\n\ *H5.postbreak: 0.5\n\ *H5.parindent: 0.0\n\ *H6.underscore: True\n\ *H6.prebreak: 1.0\n\ *H6.postbreak: 0.5\n\ *H6.parindent: 0.0\n\ *P.parindent: 2.0\n\ *P.postbreak: 0.0\n\ *P.justify: @ifmatch(!ALIGN,\"[Cc][Ee][Nn][Tt][Ee][Rr]\",center,-)\n\ *U.underscore: 1\n\ *S.strikeout: True\n\ *TT.family: tt\n\ *B.bold: True\n\ *I.slant: True\n\ *BIG.size: +1\n\ *SMALL.size: -1\n\ *EM.emphasis: 1\n\ *STRONG.emphasis: 2\n\ *CODE.family: tt\n\ *SAMP.family: tt\n\ *KBD.family: tt\n\ *KDB.underscore: 1\n\ *VAR.slant: True\n\ *CITE.slant: True\n\ *DFN.bold: true\n\ *Q.insertbefore: `\n\ *Q.insertafter: '\n\ *BR.empty: True\n\ *BR.prebreak: 0.0\n\ *BR.noindent: True\n\ *BR.flush: @ifmatch(!CLEAR,\"all\",full,!CLEAR)\n\ *WBR.empty: True\n\ *WBR.insertbefore: &sbsp;\n\ *A.textcolor: @ifmatch(!HREF,\".\",#aaaa00000000)\n\ *A.anchor: !HREF\n\ *A.target: !NAME\n\ *A.underscore: @ifmatch(!HREF,\".\",1)\n\ *IMG.empty: True\n\ *IMG.insertafter: !ALT\n\ *IMG.valign: !ALIGN\n\ *IMG.track: !ALIGN\n\ *IMG.ismap: @ifmatch(!ISMAP,\"ISMAP\",True,false)\n\ *IMG.width: !WIDTH\n\ *IMG.height: !HEIGHT\n\ *IMG.vmargin: 0.3\n\ *IMG.hmargin: 0.4\n\ *HR.empty: True\n\ *HR.prebreak: 0.5\n\ *HR.rulebefore: 0.0\n\ *HR.postbreak: 0.5\n\ *HR.flush: @ifmatch(!CLEAR,\"[aA][lL][lL]\",full,!CLEAR)\n\ *PRE.prebreak: 0.5\n\ *PRE.postbreak: 0.5\n\ *PRE.family: tt\n\ *PRE.justify: left\n\ *PRE.width: !WIDTH\n\ *PRE.obeyspaces: True\n\ *PRE.size: -1\n\ *DL.prebreak: 1.0\n\ *DL.postbreak: 1.0\n\ *DL.leftindent: 2.0\n\ *DT.prebreak: 0.5\n\ *DT.parindent: -2.0\n\ *DT.bold: True\n\ *DT.insertafter: \ \ \ \ \n\ *DD.postbreak: 0.5\n\ *OL.prebreak: 1.0\n\ *OL.postbreak: 1.0\n\ *OL.leftindent: 2.0\n\ *UL.prebreak: 1.0\n\ *UL.postbreak: 1.0\n\ *UL.leftindent: 2.0\n\ *LI.prebreak: 0.5\n\ *LI.postbreak: 0.5\n\ *OL.LI.label: @ifmatch(!TYPE, \".\", !TYPE, 1)\n\ *OL*OL.LI.label: @ifmatch(!TYPE, \".\", !TYPE, A)\n\ *OL*OL*OL.LI.label: @ifmatch(!TYPE, \".\", !TYPE, I)\n\ *LI.label: @ifmatch(!TYPE, \".\", !TYPE, bullet)\n\ *OL.LI.label: @ifmatch(!TYPE,\".\",!TYPE,1)\n\ *ADDRESS.slant: true\n\ *ADDRESS.justify: right\n\ *ADDRESS.prebreak: 1.0\n\ *ADDRESS.postbreak: 1.0\n\ *FIG.leftindent: @ifmatch(!ALIGN, \"[Ll][Ee][Ff][Tt]\", 0, -5)\n\ *FIG.rightindent: @ifmatch(!ALIGN, \"[Ll][Ee][Ff][Tt]\", -1, 0)\n\ *FIG.valign: !ALIGN\n\ *FIG.track: !ALIGN\n\ *FIG.vmargin: 0.3\n\ *FIG.hmargin: 0.5\n\ *FIG.P.parindent: 0\n\ *NOBR.nowrap: True\n\ *FONT.size: !SIZE\n\ *CENTER.insertbefore:
\n\ *CENTER.insertafter:
\n\ *BLINK.textbackground: yellow\n\ *STYLE.stylesheet: @ifmatch(!NOTATION,\"x-bb-stylesheet\",override,false)\n\ *DIV.justify: !ALIGN\n\ *DIV.prebreak: 1.0\n\ *DIV.postbreak: 1.0\n\ *ABSTRACT.leftindent: 3.0\n\ *ABSTRACT.rightindent: 3.0\n\ *NOTE.leftindent: 3.0\n\ *NOTE.rightindent: 3.0\n\ *NOTE.prebreak: 1.0\n\ *NOTE.postbreak: 1.0\n\ *NOTE.textbackground: #aaaaffff5555\n\ *NOTE.leading: 1.0\n\ *INPUT.empty: true comment*html.style:\n\ *id: !ID\n\ *language: !LANG\n\ *target: !ID\n\ \n\ ! Create a default margin of 6 em\n\ !\n\ HTML.leftindent: 6.0\n\ HTML.justify: full\n\ HTML.textcolor: black\n\ HTML.rightindent: 2.0\n\ HTML.leading: 1.1\n\ \n\ ! and \n\ !\n\ *HEAD.hide: True\n\ *TITLE.hide: False\n\ *TITLE.title: True\n\ \n\ ! <BODY> and <FORM> can occur multiple times\n\ ! as child of HTML, separated by some whitespace\n\ *BODY.postbreak: 2.0\n\ *FORM.postbreak: 2.0\n\ ! <H1> is bold, centered, 2 sizes larger\n\ ! than the surrounding text,\n\ ! with lines above and below.\n\ !\n\ *H1.size: +2\n\ *H1.bold: True\n\ *H1.justify: center\n\ *H1.prebreak: 1.5\n\ *H1.postbreak: 1.5\n\ *H1.noindent: True\n\ !*H1.textbackground: #ffff55\n\ !*H1.rulebefore: 0.2\n\ !*H1.ruleafter: 0.2\n\ *H1.family: alt\n\ \n\ ! <H2> is bold, 1 size larger, sticking\n\ ! out into the margin,\n\ ! not justified and it has a line above it\n\ !\n\ *H2.size: +1\n\ *H2.textcolor: #006d55\n\ *H2.bold: True\n\ *H2.justify: left\n\ *H2.prebreak: 1.0\n\ !*H2.rulebefore: 0.2\n\ !*H2.ruleafter: 0.2\n\ *H2.postbreak: 1.0\n\ *H2.leftindent: -4.0\n\ *H2.parindent: 0.0\n\ *H2.noindent: True\n\ *H2.family: alt\n\ \n\ ! <H3> is italic, 1 size larger, in left margin\n\ !\n\ *H3.size: +1\n\ *H3.textcolor: #006d55\n\ *H3.slant: True\n\ *H3.justify: left\n\ *H3.prebreak: 1.0\n\ !*H3.rulebefore: 0.2\n\ *H3.postbreak: 1.0\n\ *H3.leftindent: -4.0\n\ *H3.parindent: 0.0\n\ *H3.noindent: True\n\ \n\ ! <H4> is bold\n\ !\n\ *H4.bold: True\n\ *H4.justify: left\n\ *H4.prebreak: 1.0\n\ *H4.postbreak: 0.5\n\ *H4.parindent: 0.0\n\ *H4.noindent: True\n\ \n\ ! <H5> is italic\n\ !\n\ *H5.slant: True\n\ *H5.prebreak: 1.0\n\ *H5.postbreak: 0.5\n\ *H5.parindent: 0.0\n\ \n\ ! <H6> is underlined\n\ !\n\ *H6.underscore: True\n\ *H6.prebreak: 1.0\n\ *H6.postbreak: 0.5\n\ *H6.parindent: 0.0\n\ \n\ ! <P>\n\ !\n\ *P.parindent: 2.0\n\ !*P.prebreak: 0.0\n\ *P.postbreak: 0.0\n\ *P.justify: @ifmatch(!ALIGN,"[Cc][Ee][Nn][Tt][Ee][Rr]",center,-)\n\ \n\ ! Various character-level elements\n\ !\n\ *U.underscore: 1\n\ *S.strikeout: True\n\ *TT.family: tt\n\ *B.bold: True\n\ *I.slant: True\n\ *BIG.size: +1\n\ *SMALL.size: -1\n\ *EM.emphasis: 1\n\ *STRONG.emphasis: 2\n\ *CODE.family: tt\n\ *SAMP.family: tt\n\ *KBD.family: tt\n\ *KDB.underscore: 1\n\ *VAR.slant: True\n\ *CITE.slant: True\n\ *DFN.bold: true\n\ *Q.insertbefore: `\n\ *Q.insertafter: '\n\ \n\ ! <BR> forcedly break a line.\n\ ! Flush as in Netscape\n\ !\n\ *BR.empty: True\n\ *BR.prebreak: 0.0\n\ *BR.noindent: True\n\ *BR.flush: @ifmatch(!CLEAR,"all",full,!CLEAR)\n\ \n\ ! <WBR> is another un-SGML-like element\n\ ! from Netscape\n\ ! (&sbsp; doesn't exist, I've made\n\ ! it up, cf. &shy;)\n\ !\n\ *WBR.empty: True\n\ *WBR.insertbefore: &sbsp;\n\ \n\ ! <A> is a hyperlink\n\ !\n\ !*A.textcolor: blue\n\ !*A.underscore: 1\n\ *A.textcolor: #aa0000\n\ !*A.textbackground: #ffff55\n\ *A.anchor: !HREF\n\ *A.target: !NAME\n\ \n\ ! <IMG> in-line or floating illustration\n\ ! (Note double use of ALIGN)\n\ !\n\ *IMG.empty: True\n\ *IMG.inline: !SRC\n\ !*IMG.insertbefore: @ifmatch(!ALT, ".", !ALT, [IMAGE])\n\ *IMG.valign: !ALIGN\n\ *IMG.track: !ALIGN\n\ *IMG.ismap: @ifmatch(!ISMAP,"ISMAP",True,false)\n\ *IMG.width: !WIDTH\n\ *IMG.height: !HEIGHT\n\ *IMG.vmargin: 0.3\n\ *IMG.hmargin: 0.4\n\ ! Netscape has VSPACE, but it is in pixels, not em...\n\ !*IMG.vmargin: @ifmatch(!VSPACE,".",!VSPACE,0.3)\n\ !*IMG.hmargin: @ifmatch(!HSPACE,".",!HSPACE,0.3)\n\ ! if images are not displayed:\n\ ! *IMG.insertbefore: !ALT\n\ \n\ ! <HR> horizontal rule\n\ !\n\ *HR.empty: True\n\ *HR.prebreak: 0.5\n\ *HR.rulebefore: 0.0\n\ *HR.postbreak: 0.5\n\ *HR.flush: @ifmatch(!CLEAR,"[aA][lL][lL]",full,!CLEAR)\n\ \n\ ! <PRE> preformatted text\n\ !\n\ *PRE.prebreak: 0.5\n\ *PRE.postbreak: 0.5\n\ *PRE.family: tt\n\ *PRE.justify: left\n\ *PRE.width: !WIDTH\n\ *PRE.obeyspaces: True\n\ *PRE.size: -1\n\ \n\ ! <DL>\n\ !\n\ *DL.prebreak: 1.0\n\ *DL.postbreak: 1.0\n\ *DL.leftindent: 2.0\n\ \n\ ! <DT>\n\ !\n\ *DT.prebreak: 0.5\n\ *DT.parindent: -2.0\n\ *DT.bold: True\n\ *DT.insertafter: \ \ \ \ \n\ \n\ ! <DD>\n\ !\n\ *DD.postbreak: 0.5\n\ \n\ ! <OL>\n\ !\n\ *OL.prebreak: 1.0\n\ *OL.postbreak: 1.0\n\ *OL.leftindent: 2.0\n\ \n\ ! <UL>\n\ !\n\ *UL.prebreak: 1.0\n\ *UL.postbreak: 1.0\n\ *UL.leftindent: 2.0\n\ \n\ ! <OL> has numbered items <LI>: 1.A.I,\n\ ! bullets elsewhere\n\ ! If TYPE attr. present, use it\n\ !\n\ *LI.prebreak: 0.5\n\ *LI.postbreak: 0.5\n\ *OL.LI.label: @ifmatch(!TYPE, ".", !TYPE, 1)\n\ *OL*OL.LI.label: @ifmatch(!TYPE, ".", !TYPE, A)\n\ *OL*OL*OL.LI.label: @ifmatch(!TYPE, ".", !TYPE, I)\n\ *LI.label: @ifmatch(!TYPE, ".", !TYPE, bullet)\n\ *OL.LI.label: @ifmatch(!TYPE,".",!TYPE,1)\n\ \n\ ! <ADDRESS>\n\ !\n\ *ADDRESS.slant: true\n\ \n\ ! Experimental <FIG>\n\ !\n\ *FIG.inline: !SRC\n\ *FIG.hide: True\n\ !*FIG.textwidth: 15\n\ *FIG.leftindent: @ifmatch(!ALIGN, "[Ll][Ee][Ff][Tt]", 0, -5)\n\ *FIG.rightindent: @ifmatch(!ALIGN, "[Ll][Ee][Ff][Tt]", -1, 0)\n\ *FIG.valign: !ALIGN\n\ *FIG.track: !ALIGN\n\ *FIG.vmargin: 0.3\n\ *FIG.hmargin: 0.5\n\ *FIG.P.parindent: 0\n\ \n\ ! <NOBR>, <FONT> and <CENTER> are other\n\ ! Netscape elements\n\ ! Translate <CENTER> to <DIV>\n\ !\n\ *NOBR.nowrap: True\n\ *FONT.size: !SIZE\n\ *CENTER.insertbefore: <DIV ALIGN=CENTER>\n\ *CENTER.insertafter: </DIV>\n\ *BLINK.textbackground: yellow\n\ \n\ ! <STYLE notation="x-bb-stylesheet">\n\ ! contains a style sheet\n\ !\n\ *STYLE.stylesheet: @ifmatch(!NOTATION,"x-bb-stylesheet",override,false)\n\ \n\ ! <DIV> as in HTML 3.0\n\ !\n\ *DIV.justify: !ALIGN\n\ *DIV.prebreak: 1.0\n\ *DIV.postbreak: 1.0\n\ !\n\ !\n\ *ABSTRACT.leftindent: 3.0\n\ *ABSTRACT.rightindent: 3.0\n\ \n\ *NOTE.leftindent: 3.0\n\ *NOTE.rightindent: 3.0\n\ *NOTE.prebreak: 1.0\n\ !*NOTE.rulebefore: 0.2\n\ !*NOTE.ruleafter: 0.2\n\ *NOTE.postbreak: 1.0\n\ *NOTE.textbackground: #aaff55\n\ *NOTE.leading: 1.0\n\ !*NOTE.textcolor: #ffb600\n\ \n\ *INPUT.empty: true