body
{
        font-family: verdana;
	font-size: small;
}

div.abstract
{
        border: solid 2px;
        padding-left: 10pt;
        padding-right: 10pt;
}
pre.screen
{
        font-family: monospace;
        font-size: 1em;
        display: block;
        padding: 10px;
        border: 1px solid #bbb;
        background-color: #eee;
        color: #000;   
        overflow: auto;
        border-radius: 2.5px;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
}

.programlisting
{
        font-family: monospace;
        font-size: 1em;
        display: block;
        padding: 10px;
        border: 1px solid #bbb;
        background-color: #ddd;
        color: #000;   
        overflow: auto;
        border-radius: 2.5px;
        -moz-border-radius: 2.5px;
        margin: 0.5em 2em;
}

span.footnote
{
	font-family: monospace;
	font-size: 1em;
}

.guimenu, .guisubmenu, .guimenuitem
{
	color: #ffffff;
	font-family: monospace;
	background-color: #a0a0d0;
        border: solid 1px #606090;
}

.guibutton
{
	color: #ffffff;
	font-family: monospace;
	font-weight: bold;
        border: solid 1px black;
	background-color: #606090;
}

.keycap
{
	font-family: monospace;
	font-weight: bold;
        border: solid 1px black;
	background-color: #bbb;
}

h3.FOOTNOTES
{
	color: #ffffff ;
        font-style: italic;
        background-color: #a0a0d0;
	width: 20%;
        padding: 1px
}

thead
{
        color: #ffffff ;
        background-color: #a0a0d0;
        border: solid 1px #606090;
        padding: 1px
}

h1
{
        color: #ffffff;
        border: solid 3px #a0a0d0;
        background-color: #606090;
        font-variant: small-caps;
        width: 100%;
}

h1.title
{
        color: #ffffff;
        border: solid 3px #a0a0d0;
        background-color: #606090;
        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;
        background-color: #a0a0d0;
        border: solid 3px #606090;
        padding: 1px
}

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
{
        border: solid 1px #000000;
        width: 70%;
        margin-left: 15%;       
	background-color: #efeff8;
}

table.tip
{
        border: solid 1px #000000;
        width: 70%;
        margin-left: 15%;       
	background-color: #efeff8;
}

table.warning
{
        font-weight: bold;
        border: solid 1px black;
	background-color: #efeff8;
        
        width: 70%;
        margin-left: 15%;       
}

div.variablelist {
        font-family: sans-serif;
        font-style: normal;
        font-weight: normal;
        padding-left: 20px;
}

.varlistentry {
        font-weight: bold;
        margin-top: 10px;
        color: #ffffff ;
        background-color: #a0a0d0;
        border: solid 1px #606090;
        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{}
body p {
        font-size: x-small;
        voice-family: "\"}\"";
        voice-family: inherit;
        font-size: small;
}

html>body p {
        font-size: small;
}
/* */

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

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

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

a[href^="#ftn"]:hover {
        background: url(images/qbullets/note_a.gif) right center no-repeat;
}

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

a[name^="ftn"]:hover {
        background: url(images/qbullets/scrollup_a.gif) right center no-repeat;
}

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


/* add an acrobat reader icon to pdf links */
a[href$=".pdf"] {
        background: url(images/qbullets/acrobat.gif) right center no-repeat;
        padding-right: 12px;
}

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

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


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

a[href^="http://esaracco.free.fr"]: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: #efeff8;
        padding: 5px;
        margin-top: 10px;
        width: 100%;
        border: thin solid #a0a0d0;
}

div.NUKEFOOTER {
        color: #000000;
        background-color: #b0e0e6;
        padding: 5px;
        margin-top: 10px;
        width: 100%;
        border: thin solid #a0a0d0;
}

div.NAVHEADER {
        color: #000000;
        background-color: #efeff8;
        padding: 5px;
        margin-bottom: 10px;
        width: 100%;
        border: thin solid #a0a0d0;
}

div.sect1,div.sect2,div.sect3 {
        margin-left: 20px;
}

div.example,div.TOC {
        font-size: small;
        border: thin dotted #70aae5;
        padding-left: 10px;
        padding-right: 10px;
        color: #000000;
        background-color: #eff8f8;
}

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

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