dongsheng@661: body
dongsheng@661: {
dongsheng@661:     background: white;
dongsheng@661:     margin: 1in;
dongsheng@661:     font-family: Georgia,SimSun,serif;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: p, li, ul, ol, dd, dt
dongsheng@661: {
dongsheng@661:     font-style: normal;
dongsheng@661:     font-weight: normal;
dongsheng@661:     color: black;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: tt, pre
dongsheng@661: {
dongsheng@661:     font-family: Consolas,KaiTi,FangSong,SimSun,monospace;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: a
dongsheng@661: {
dongsheng@661:     color: blue;
dongsheng@661:     text-decoration: underline;
dongsheng@661: }    
dongsheng@661: 
dongsheng@661: a:hover 
dongsheng@661: {
dongsheng@661:     background: rgb(75%,75%,100%);
dongsheng@661:     color: blue;
dongsheng@661:     text-decoration: underline;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: a:visited 
dongsheng@661: {
dongsheng@661:     color: purple;
dongsheng@661:     text-decoration: underline;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: img
dongsheng@661: {
dongsheng@661:     border: none;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: h1.title
dongsheng@661: {
dongsheng@661:     font-size: 250%;
dongsheng@661:     font-style: normal;
dongsheng@661:     font-weight: bold;
dongsheng@661:     color: black;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: h2.subtitle
dongsheng@661: {
dongsheng@661:     font-size: 150%;
dongsheng@661:     font-style: italic;
dongsheng@661:     color: black;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: h2.title
dongsheng@661: {
dongsheng@661:     font-size: 150%;
dongsheng@661:     font-style: normal;
dongsheng@661:     font-weight: bold;
dongsheng@661:     color: black;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: h3.title
dongsheng@661: {
dongsheng@661:     font-size: 125%;
dongsheng@661:     font-style: normal;
dongsheng@661:     font-weight: bold;
dongsheng@661:     color: black;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: h4.title
dongsheng@661: {
dongsheng@661:     font-size: 100%;
dongsheng@661:     font-style: normal;
dongsheng@661:     font-weight: bold;
dongsheng@661:     color: black;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: strong
dongsheng@661: {
dongsheng@661:     font-weight: normal;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .toc b
dongsheng@661: {
dongsheng@661:     font-family: Verdana,SimHei,sans-serif;
dongsheng@661:     font-size: 120%;
dongsheng@661:     font-style: normal;
dongsheng@661:     font-weight: bold;
dongsheng@661:     color: black;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .title
dongsheng@661: {
dongsheng@661:     font-family: Verdana,SimHei,sans-serif;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .screen, .programlisting, .structname
dongsheng@661: {
dongsheng@661:     font-family: Consolas,KaiTi,FangSong,SimSun,monospace;
dongsheng@661:     font-style: normal;
dongsheng@661:     font-weight: normal;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .userinput
dongsheng@661: {
dongsheng@661:     font-weight: normal;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .command
dongsheng@661: {
dongsheng@661:     font-style: italic;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .filename
dongsheng@661: {
dongsheng@661:     font-family: Georgia,SimSun,serif;
dongsheng@661:     font-style: italic;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .figure, .example, .table
dongsheng@661: {
dongsheng@661:     margin: 0.125in 0.25in;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .figure p.title b, .example p.title b, .table p.title b
dongsheng@661: {
dongsheng@661:     font-family: Georgia,SimSun,serif;
dongsheng@661:     font-size: 80%;
dongsheng@661:     font-style: italic;
dongsheng@661:     font-weight: normal;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .table table
dongsheng@661: {
dongsheng@661:     border-width: 1px;
dongsheng@661:     border-style: solid;
dongsheng@661:     border-color: black;
dongsheng@661:     border-spacing: 0;
dongsheng@661:     background: rgb(240,240,240);
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .table td
dongsheng@661: {
dongsheng@661:     border: none;
dongsheng@661:     border-right: 1px black solid;
dongsheng@661:     border-bottom: 1px black solid;
dongsheng@661:     padding: 2px;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .table th
dongsheng@661: {
dongsheng@661:     background: rgb(180,180,180);
dongsheng@661:     border: none;
dongsheng@661:     border-right: 1px black solid;
dongsheng@661:     border-bottom: 1px black solid;
dongsheng@661:     padding: 2px;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .table p.title, .figure p.title, .example p.title
dongsheng@661: {
dongsheng@661:     text-align: left !important;
dongsheng@661:     font-size: 100% !important;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .author, .pubdate
dongsheng@661: {
dongsheng@661:     margin: 0;
dongsheng@661:     font-size: 100%;
dongsheng@661:     font-style: italic;
dongsheng@661:     font-weight: normal;
dongsheng@661:     color: black;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .preface div.author, .preface .pubdate
dongsheng@661: {
dongsheng@661:     font-size: 80%;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .sidebar 
dongsheng@661: {
dongsheng@661:     border-top: dotted 1px black;
dongsheng@661:     border-left: dotted 1px black;
dongsheng@661:     border-right: solid 2px black;
dongsheng@661:     border-bottom: solid 2px black;
dongsheng@661:     background: rgb(240,220,170);
dongsheng@661:     padding: 0 0.12in;
dongsheng@661:     margin: 0.25in;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .note .programlisting, .note .screen, 
dongsheng@661: .tip .programlisting, .tip .screen, 
dongsheng@661: .warning .programlisting, .warning .screen, 
dongsheng@661: .sidebar .programlisting, .sidebar .screen
dongsheng@661: {
dongsheng@661:     border: none;
dongsheng@661:     background: none;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .sidebar p.title
dongsheng@661: {
dongsheng@661:     text-align: center;
dongsheng@661:     font-size: 125%;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .note, .tip, .warning
dongsheng@661: {
dongsheng@661:     border: black solid 1px;
dongsheng@661:     margin: 0.125in 0;
dongsheng@661:     padding: 0 55px;
dongsheng@661:     font-size: 90%;
dongsheng@661: }
dongsheng@661: 
songdongsheng@664: /*
dongsheng@661: .note
dongsheng@661: {
dongsheng@661:     background: url(./figs/note.png) no-repeat rgb(252,246,220);
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .tip
dongsheng@661: {
dongsheng@661:     background: url(./figs/tip.png) no-repeat rgb(224,244,255);
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .warning
dongsheng@661: {
dongsheng@661:     background: url(./figs/warning.png) no-repeat rgb(255,210,210);
dongsheng@661: }
songdongsheng@664: */
dongsheng@661: 
dongsheng@661: .note .title, .tip .title, .warning .title
dongsheng@661: {
dongsheng@661:     display: none;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .programlisting, .screen
dongsheng@661: {
dongsheng@661:     font-size: 90%;
dongsheng@661:     color: black;
dongsheng@661:     margin: 1em 0.25in;
dongsheng@661:     padding: 0.5em;
dongsheng@661:     background: rgb(240,240,240);
dongsheng@661:     border-top: black dotted 1px;
dongsheng@661:     border-left: black dotted 1px;
dongsheng@661:     border-right: black solid 2px;
dongsheng@661:     border-bottom: black solid 2px;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .navheader, .navfooter
dongsheng@661: {
dongsheng@661:     border: black solid 1px;
dongsheng@661:     background: rgb(180,180,200);
dongsheng@661: }
dongsheng@661: 
dongsheng@661: .navheader hr, .navfooter hr
dongsheng@661: {
dongsheng@661:     display: none;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: #svn-footer
dongsheng@661: {
dongsheng@661:     font-size: 80%;
dongsheng@661:     text-align: center;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: #svn-footer hr
dongsheng@661: {
dongsheng@661:     display: none;
dongsheng@661: }
dongsheng@661: 
dongsheng@661: /* --------------------- */
dongsheng@661: /* PRINT MEDIA OVERRIDES */
dongsheng@661: /* --------------------- */
dongsheng@661: 
dongsheng@661: @media print
dongsheng@661: {
dongsheng@661:     body 
dongsheng@661:     {
dongsheng@661:         margin: 0;
dongsheng@661:     }
dongsheng@661: 
dongsheng@661:     .navheader, .navfooter
dongsheng@661:     {
dongsheng@661:         display: none;
dongsheng@661:     }
dongsheng@661: 
dongsheng@661:     #svn-footer hr
dongsheng@661:     {
dongsheng@661:         display: block;
dongsheng@661:     }
dongsheng@661: }