home *** CD-ROM | disk | FTP | other *** search
- body
- {
- font-family: verdana;
- font-size: 75%;
- background-color: #FFFBF0;
- margin: 10pt;
- line-height: 150%;
- }
- a
- {
- color: blue;
- text-decoration: none;
- }
- a:hover
- {
- text-decoration: underline;
- }
- h3
- {
- font-weight: bold;
- font-size: small ;
- padding-bottom: 5pt;
- border-bottom: 1pt solid black;
- }
- h4
- {
- font-weight: bold;
- font-size: x-small ;
- color: #CC9900;
- }
- table
- {
- margin: 10pt;
- border-top: #000000 1px solid;
- border-bottom: #000000 1px solid;
- border-left: #000000 1px solid;
- border-right: #000000 1px solid;
- font-size: 100%;
- }
- tr
- {
- background-color: #ECECEC;
- }
- th
- {
- background-color: #CDEAEF;
- padding-right: 10px;
- padding-left: 10px;
- }
- td
- {
- padding-right: 10px;
- padding-left: 10px;
- }
- b
- {
- font-size: 90%;
- }
- dt
- {
- font-weight: bold;
- color: #005A9C;
- padding-top: 5pt;
- }
- .mainTitle
- {
- font-family: Arial;
- font-weight: bold;
- font-size: 115% ;
- color: navy;
- background-color: #FFFBF0;
- vertical-align: center;
- margin: 0pt;
- padding-bottom: 1pt;
- border-top: none;
- border-left: none;
- border-right: none;
- border-bottom: 1pt solid navy;
- }
- .screen
- {
- float: right;
- margin: 10pt;
- }
- .gui
- {
- color: #005A9C;
- font-weight: bold;
- }
- .menu
- {
- color: purple;
- font-weight: bold;
- }
- .command
- {
- color: purple;
- font-weight: bold;
- font-style: italic;
- }
- .key
- {
- color: #6699CC;
- font-family: "Lucida Console";
- }
- .feature
- {
- color: #CC00CC;
- }
- .config
- {
- color: #6699CC;
- }
- .question
- {
- color: red;
- }
- .ans
- {
- color: green;
- font-weight: bold;
- }
- .co
- {
- font-style: italic;
- font-weight: 600;
- color: #003399;
- }
- .app
- {
- font-family: Arial;
- color: #379E9E;
- }
- .indent
- {
- margin-left: 1em;
- }
- .indentfirst
- {
- text-indent: 1em;
- }
- .footer
- {
- font: xx-small;
- color: gray;
- text-align: center;
- margin-top: 50pt;
- padding-top: 3pt;
- border-top: 1pt solid gray;
- border-bottom: none;
- border-left: none;
- border-right: none;
- }
- .odd
- {
-
- background-color: #F6F6F6;
- }
- .pair1st
- {
- color: #40407E;
- font-style: italic;
- white-space: nowrap;
- }
- .new
- {
- color: #9F5252;
- }
- .fix
- {
- color: #287F28;
- }
- .change
- {
- color: #727272;
- }
- .mark
- {
- color: #FFFFAA;
- background-color: #5555AA;
- }
-