rivet/manual3.2/rivet.css

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;
}

/* 
A{
    color: maroon;
}

A:visited {
    color: darkgreen;
}
*/

BODY P {

/*      font-size: x-small; */
        voice-family: "\"}\"";
        voice-family: inherit;
        font-size: normal;
}

HTML>BODY P {
        font-size: normal;
}
/* */

/* Add an external-link icon to absolute links */
a[href^="http:"] {
        background: url(images/remote.png) right center no-repeat;
        padding-right: 12px;
}

a[href^="http:"]:hover {
        background: url(images/remote.png) right center no-repeat;
}

/* Add a note icon to footnote links */
a[href^="#FTN"] {
        background: url(images/qbullet-note.png) right center no-repeat;
        padding-right: 12px;
}

a[href^="#FTN"]:hover {
        background: url(images/qbullet-note.png) right center no-repeat;
}

/* ...and a back icon to the backlinks in the footnotes themselves */
a[name^="FTN"] {
        background: url(images/scrollup.png) right center no-repeat;
        padding-right: 12px;
}

a[name^="FTN"]:hover {
        background: url(images/scrollup.png) right center no-repeat;
}

/* Add a download icon to .gz links */
a[href$=".gz"],a[href$=".tar"],a[href$=".zip"] {
        background: url(images/disk.png) right center no-repeat;
        padding-right: 12px;
}


/* Add an Acrobat Reader icon to PDF links */
a[href$=".pdf"] {
        background: url(images/acrobat.png) right center no-repeat;
        padding-right: 12px;
}

a[href$=".pdf"]:hover {
        background: url(images/acrobat.png) right center no-repeat;
}

/* Add a Word icon to RTF links */
a[href$=".rtf"] {
        background: url(images/word.png) right center no-repeat;
        padding-right: 12px;
}


/* ...but not to absolute links in this domain... */
a[href^="http://www.karakas-online.de"] {
        background: transparent;
        padding-right: 0px;
}

a[href^="http://www.karakas-online.de"]:hover {
        background: transparent;
}

/* ...or to the translation links on each page */
DIV.translatelink > a[href^="http:"] {
        background: transparent;
        padding-right: 0px;
}

DIV.translatelink > a[href^="http:"]:hover {
        background: transparent;
}

/* ...or to any images  */
DIV.imagelink  a[href^="http:"] {
        background: transparent;
        padding-right: 0px;
}

DIV.imagelink  a[href^="http:"]:hover {
        background: transparent;
}


P.C2 {
    COLOR: #ffffff ;
    BACKGROUND-color: #a0a0d0;
    BORDER: solid 1px #606090;
    PADDING: 1px
}


DIV.NAVFOOTER {
        color: #000000;
        background-color: #e8ecf2;
        padding: 5px;
        margin-top: 10px;
        width: 100%;
        border: 2px solid #a3b1bc;
}

DIV.NUKEFOOTER {
        color: #000000;
        background-color: #e8ecf2;
        padding: 5px;
        margin-top: 10px;
        width: 100%;
        border: thin solid #a3b1bc;
}

DIV.NAVHEADER {
        color: #000000;
        background-color: #e8ecf2;
        padding: 5px;
        margin-bottom: 10px;
        width: 100%;
        border: 2px solid #a3b1bc;
}

DIV.SECT1,DIV.SECT2,DIV.SECT3 {
        margin-left: 20px;
}

DIV.EXAMPLE,DIV.TOC {
        border: thin dotted #4e5f6e;
        padding-left: 10px;
        padding-right: 10px;
        color: #000000;
        background-color: #e8ecf2;
}
DIV.EXAMPLE {
        border: thin dotted #22AA22;
        background-color: #EEE;
}

DIV.TOC {
        margin-left: 20px;
        margin-right: 20px;
        width: 95%;
}

UL  {
     /*    list-style: url("images/tux-bullet.png") disc; */
    }

.namespaces {
	border: 1px solid black;
}

.namespaces td {
	padding:	0.2em 1em;
	/* font-weight: bold; */
}

.namespaces thead {
	background-color: #aaf;
}

.namespaces tr.init {
	background-color: #e88;	
}

.namespaces tr.childinit {
	background-color: #eee;		
}

.namespaces tr.processing {
	background-color: #e88;	
}
	
.namespaces tr.childexit {
	background-color: #eee;		
}

table.directives {
	border-collapse: collapse;
}
.directives thead {
    background-color:   #bbf;
    font-size:          1em;
    text-decoration:    none;
}

.directives thead td {
    padding:            8px;
}

.directives tbody tr > :first-child {
    background-color:   #eee;
    padding-left:       2em;
    padding-right:      2em;
    text-align:         left;
}

.directives tbody tr > :last-child {
   text-decoration:    	    none;
   font-weight: 			normal;
	font-size: 				small;
	border-left:			1px solid black;
	text-align:         	left;
}

.directives tbody tr td {
   text-align:          center;
   text-decoration:     none;
   font-weight: 		normal;
	padding-left:		1em;
	padding-right: 		1em;
	padding-bottom: 	4px;
	padding-top: 		4px;
	border-bottom:		1px solid black;
}

.note td {
    font-size:          small;
}

li.listitem {
    font-size:          small;
}