rivet/manual3.1/rivet.css [1:155]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
BODY
{
        font-family: verdana;
        background-color: #fbfcfc;
}

DIV.ABSTRACT
{
        border: solid 2px;
        padding-left: 10pt;
        padding-right: 10pt;
}
PRE.SCREEN
{
        font-family:monospace;
        white-space: pre;
        width: 100%;
        background-color: #ffffcc;
        border:solid;
        color: #000000;
        border-color: #009999;
        border-left: solid #009999 2px;
        border-right: solid #009999 2px;
        border-top: solid #009999 2px;
        border-bottom: solid #009999 2px;
        padding-left: 15pt;
}

PRE.PROGRAMLISTING
{
        font-family: monospace;
        white-space: pre;
        width:  95%;
        background-color: #e8ecf2;
        border: solid;
        color:  #000000;
        border-color: #a3b1bc;
        border-left: solid #a3b1bc 1px;
        border-right: solid #a3b1bc 1px;
        border-top: solid #a3b1bc 1px;
        border-bottom: solid #a3b1bc 1px;
        font-size:  normal;
        padding-top:    1em;
        padding-left:   1em;
        padding-bottom: 1em;
        font-size:  0.9em;
}

H1
{
        color: #ffffff;
        border: solid 3px #1d252b;
        background-color: #a3b1bc;
        font-variant: small-caps;
        width: 100%;
}

H1.TITLE
{
        color: #ffffff;
        border: solid 3px #1d252b;
        background-color: #a3b1bc;
        font-variant: small-caps;
        width: 100%;
}

.TITLE a {
        color: #ffffff; 
        text-decoration: none;
}

.TITLE a:active {
        color: #ffffff; 
        text-decoration: none;
}

.TITLE a:visited {
        color: #ffffff; 
        text-decoration: none;
}

H2
{       
        COLOR: #ffffff ;
        font-style: italic;
        border: solid 3px #1d252b;
        background-color: #a3b1bc;
        PADDING: 0.5em;
}

TABLE.IMPORTANT
{
        font-style:italic;
        border: solid 2px #ff0000;
        width: 70%;
        margin-left: 15%;       
}
TABLE.CAUTION
{
        font-style:italic;
        border: ridge 2px #ffff00;
        width: 70%;
        margin-left: 15%;       
}

TABLE.NOTE
{
        font-style:italic;
        border: solid 1px #000000;
        width: 70%;
        margin-left: 15%;       
}
TABLE.TIP
{
        font-style:italic;
        border: solid 1px #000000;
        width: 70%;
        margin-left: 15%;       
}

TABLE.WARNING
{
        font-style:italic;
        font-weight: bold;
        border: ridge 4px #ff0000;
        width: 70%;
        margin-left: 15%;       
}

DIV.VARIABLELIST {
        font-family: sans-serif;
        font-style: normal;
        font-weight: normal;
        padding-left: 20px;
        font-size: small;
}

.VARLISTENTRY {
        font-weight: bold;
        margin-top: 10px;
        color: #ffffff ;
        background-color: #e8ecf2;
        border: solid 1px #a3b1bc;
        padding: 1px
}

/*
 * See http://diveintoaccessibility.org/day_26_using_relative_font_sizes.html
 * for an explanation of the following few commands.
 * They are really too complicated to explain here in all depth. ;-)
*/

P {
        font-size: 12px;
}
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



rivet/manual3.2/rivet.css [1:155]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
BODY
{
        font-family: verdana;
        background-color: #fbfcfc;
}

DIV.ABSTRACT
{
        border: solid 2px;
        padding-left: 10pt;
        padding-right: 10pt;
}
PRE.SCREEN
{
        font-family:monospace;
        white-space: pre;
        width: 100%;
        background-color: #ffffcc;
        border:solid;
        color: #000000;
        border-color: #009999;
        border-left: solid #009999 2px;
        border-right: solid #009999 2px;
        border-top: solid #009999 2px;
        border-bottom: solid #009999 2px;
        padding-left: 15pt;
}

PRE.PROGRAMLISTING
{
        font-family: monospace;
        white-space: pre;
        width:  95%;
        background-color: #e8ecf2;
        border: solid;
        color:  #000000;
        border-color: #a3b1bc;
        border-left: solid #a3b1bc 1px;
        border-right: solid #a3b1bc 1px;
        border-top: solid #a3b1bc 1px;
        border-bottom: solid #a3b1bc 1px;
        font-size:  normal;
        padding-top:    1em;
        padding-left:   1em;
        padding-bottom: 1em;
        font-size:  0.9em;
}

H1
{
        color: #ffffff;
        border: solid 3px #1d252b;
        background-color: #a3b1bc;
        font-variant: small-caps;
        width: 100%;
}

H1.TITLE
{
        color: #ffffff;
        border: solid 3px #1d252b;
        background-color: #a3b1bc;
        font-variant: small-caps;
        width: 100%;
}

.TITLE a {
        color: #ffffff; 
        text-decoration: none;
}

.TITLE a:active {
        color: #ffffff; 
        text-decoration: none;
}

.TITLE a:visited {
        color: #ffffff; 
        text-decoration: none;
}

H2
{       
        COLOR: #ffffff ;
        font-style: italic;
        border: solid 3px #1d252b;
        background-color: #a3b1bc;
        PADDING: 0.5em;
}

TABLE.IMPORTANT
{
        font-style:italic;
        border: solid 2px #ff0000;
        width: 70%;
        margin-left: 15%;       
}
TABLE.CAUTION
{
        font-style:italic;
        border: ridge 2px #ffff00;
        width: 70%;
        margin-left: 15%;       
}

TABLE.NOTE
{
        font-style:italic;
        border: solid 1px #000000;
        width: 70%;
        margin-left: 15%;       
}
TABLE.TIP
{
        font-style:italic;
        border: solid 1px #000000;
        width: 70%;
        margin-left: 15%;       
}

TABLE.WARNING
{
        font-style:italic;
        font-weight: bold;
        border: ridge 4px #ff0000;
        width: 70%;
        margin-left: 15%;       
}

DIV.VARIABLELIST {
        font-family: sans-serif;
        font-style: normal;
        font-weight: normal;
        padding-left: 20px;
        font-size: small;
}

.VARLISTENTRY {
        font-weight: bold;
        margin-top: 10px;
        color: #ffffff ;
        background-color: #e8ecf2;
        border: solid 1px #a3b1bc;
        padding: 1px
}

/*
 * See http://diveintoaccessibility.org/day_26_using_relative_font_sizes.html
 * for an explanation of the following few commands.
 * They are really too complicated to explain here in all depth. ;-)
*/

P {
        font-size: 12px;
}
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -