/* Default css for docutils generated documents */
@import url(default.css);
@import url(pysrc.css);

body {
    background-image: url("images/background.png");
    background-repeat: repeat-x;
    background-color: #ececec ;
    color: #999;
    padding: 0 0 0 0;
    text-align: justify ;
    margin: 0 0 auto 0 ;
}

div.outerbody {
    margin: 0 220px 0 auto ;
}

div.outerbody2 {
    /* because IE doesn't know max-width */
    /*width:expression(document.body.clientWidth > 800 ? "50em" : "auto");*/
    max-width: 50em;
    background-image: url("images/background-center.png");
    background-repeat: repeat-x;
    background-position: top;
    margin: 0 auto 0 auto ;
}

div.rightmargin {
    float: right;
    padding: 0px 0px 5px 9px ;
    width:219px;
}

div.pagetitle {
    background-image: url("images/head.png");
    background-repeat: no-repeat;
    background-position: top;
    padding: 20px 0 0 10px ;
    margin: 0 auto 0 auto ;
    /* because IE doesn't know max-width */
    /*width:expression(document.body.clientWidth > 780 ? "780px" : "auto");*/
    max-width: 780px ;
    text-align: right ;
    font-size: 30px ;
    height: 195px ;
    color : #3c0a00 ;
    z-index: -2;
    font-weight: 600;
    font-family: sans-serif ;
    padding: 5px 1em 0 0 ;
}

/* Select non IE browsers */
/*
html>body div.rightmargin {
    background-image: url("images/corner.png");
}
*/


div.email {
    color : #3c0a00 ;
    font-family: sans-serif ;
    font-size: 13px ;
    font-weight: 900;
    margin: -0.5ex 0 0 1ex ;
    text-align: right ;
}
div.email img { border: 0px ; width: 0.4ex; padding 0px ;
    margin-left: 1px; margin-right: 1px; margin-bottom: 0px ;
    vertical-align: baseline ;}

/* breadcrumbs */
div.crumbs {
    color: #f4dfda;
    font-size: 15px ;
    position: absolute ;
    top: 167px;
    z-index: 0;
    text-align: left;
    font-weight: 900;
    font-family: sans-serif ;
    /* because IE doesn't know max-width */
    /*width:expression(document.body.clientWidth > 800 ? "800px" : "auto");*/
    max-width: 800px;
    /* Select only IE */
    _left: 10% ;
    padding: 0 0 0 10px ;
}
div.crumbs a { color: #d49a8d; font-weight: 600;}

/* The picture galleries */
    div.pictures {
	font-size: small ;
	color: black ;
	margin: auto ;
	text-align: center ;
    }

    .pictures p { display: inline; }

    div.pictures a img { vertical-align: middle; }

    .pictures a {
	display: table-cell;   /* default, for gecko & Opera6- */
	margin: .5em;
	padding: 0px 5px 0px 5px ;
	vertical-align: top;   /* aligns the img/caption container */
	width: 8em;            /* adjusts with text size */
	min-width: 110px;      /* not always honored, but that's OK */
	/*border: 1px solid #ccc;*/
    }

    .pictures i {
	color: #333 ;
	font-family: sans-serif ;
	font-size: small ;
        font-weight: 400;
	display: block;
	text-align: center;
	height: 2.5em ;
    }

    .pictures span {
	display: block;        /* fill container width, force a line break */
	line-height: 150px;    /* same value as height */
	text-align: center;
    }

    /* Workaround IE bugs */
    head:first-child+body .pictures a {
	display: table-cell;   /* gecko & Opera6- */
	display: inline-table; /* Safari & some other browsers */
	display: inline-block; /* WinIE & some other browsers */
    }
    * html .pictures a {
	display: table-cell;   /* gecko & Opera6- */
	display: inline-table; /* Safari & some other browsers */
	display: inline-block; /* WinIE & some other browsers */
    }
    * html .pictures span {
	display: inline;
    }

    /* special settings for the sidebar */

    div.rightmargin div.pictures {
	padding-right: 30px ;
	margin-left: 0px ;
    }

    div.rightmargin span { line-height: 75px ; width: 150px ; }
    div.rightmargin div.pictures a { padding: 5px ; }
    div.rightmargin div.pictures i.optionnal { height: 0.1em ; font-size: x-small;}


img.gallery {
    margin: 5px 5px 0px 5px ;
}

div.body {
    background-image: url("images/body-background.png");
    background-position:  bottom;
    background-repeat: repeat-x;
    /*background-color:#e5eeee;*/
    background-color:#f9f9f9;
    color: #555;
/*    border: solid #d1d1d1;
    border-width: 0 1px 1px 1px ;*/
    padding: 0ex 2ex 10px 2ex;
    margin: 0 auto 0 auto ;
    /* because IE doesn't know max-width */
    /*width:expression(document.body.clientWidth > 800 ? "50em" : "auto");*/
    max-width: 50em;
    z-index: 2;
}

div.end {
    margin: 0 auto 0 auto ;
    text-align: center ;
    padding: 1px 6px 10px 6px ;
    color: #999;
    min-height: 30px ;
/*    position: bottom ;
    height: 111px ;
    width: 600px;
    background-image: url("images/bottom2.png");
    background-repeat: no-repeat;
    background-position: right;
    z-index: -2;*/
}

div.end a { color : #f5ffff ; color: #999;}


a:visited { color: #EF7811 ; text-decoration: none; font-weight:700; }
a:link { color: #9b4e00; text-decoration: none; font-weight: 700; }
a:hover { color: #EF7811; text-decoration: underline; font-weight: 700; }
/* Internal links */
a.toc-backref { color: #643200 ; text-decoration: none ;}

h1 {
    font-size: x-large ;
    color : #3c0a00 ;
    border-color : #3c0a00 ;
    color: #643200 ;
    border-color: #643200 ;
    border-width: 0 0 2px 0 ;
    border-style: solid ;
    padding : 0 0 0 1ex ;
}

div.rightmargin h1 { font-size: large ;
    font-family: sans-serif ; }

h1.title {
    background-image: url("images/title_background.jpg");
    background-repeat: repeat-y;
    background-color: #dfcfbd ;
    border-width: 2px 0 2px 0 ;
    border-style: solid ;
    padding: 4px 0 4px 0 ; 
    text-align: center ;
    font-size: x-large ;
}

h2 {
    font-size: larger ;
    padding : 0 0 0 3ex ;
    color: #643200 ;
}

/* An attempt to make list bullets orange */
.contents li: { color: orange; }
/*li p { color: black; }*/

/* Code : */
pre.literal-block {
    color: #333 ;
    background-color: #dfcab0;
    background-image: url("images/yellow-white.png");
    background-repeat: repeat-y;
    background-position:  right;
    border: 1px solid;
    border-color: #999999;
    margin: 0 2em 0 2em ;
    padding: 1px;
}

div.warning {
    margin: 2em ;
    border-width: 0 0 0 0 ;
    color: #660000 ;
    padding: 0 1em 0.5em 1em }

div.warning p.admonition-title {
    margin : 0 ;
    padding: 0 ;
    color: #ee0000 ;
    border-width : 0 0 1px 0 ;
    border-style: solid ;
}

div.warning p.last {
    color: #660000 ;
    margin : 0.5ex 2px 2px 2px ;
    padding: 0 ;
    border-width: 0 0 1px 0 ;
    border-style: solid ;
    border-color: #660000 ;
}

div.topic {
    color: #444 ;
    border-width : 0 0 1px 0 ;
    border-style: solid ;
    background-color: white ;
    font-family: sans-serif ;
}

div.topic p {
    margin: 1px 1em 1px 1em ;
    font-size: smaller ;
}

div.topic p.topic-title {
    font-size: larger ;
    border-width : 0 0 1px 0 ;
    border-style: solid;
    margin: 0 0 2px 0 ;
    background-color: #f9f9f9 ;
}

blockquote.epigraph {
/*    font-size: smaller ;*/
    font-family: sans-serif ;
    font-weight : 500 ;
    padding : 0.5ex 2ex 0.5ex 5ex ;
    margin: 2px 1ex 2px 1ex ; 
    background-color: white ;
    border: solid #e3e3e3 ;
    border-width : 1px ;
    background-image: url("images/quotes.png");
    background-repeat: no-repeat;
    /*background-position:  right;*/
}

blockquote.highlights {
    font-size: smaller ;
    font-family: sans-serif ;
    font-weight : 600 ;
    border : solid #CCCCCC;
    border-width : 0 0 0 10px ;
    padding : 0 0 0 1ex ;
}

div.sidebar {
    margin-left: 1em ;
    border: medium outset ;
    padding: 1ex ;
    background-color: #e0e0e0 ;
    color: #666 ;
    width: 40% ;
    border: solid #AAAAAA ;
    border-width: 0 1px 0 1px ;
    font-size: small ;
    float: right ;
    clear: right }

div.leftsidebar {
    float: left ;
    clear: left ;
    margin-right: 3em ;
    margin-left: 0 ;
    width: 18ex ;
}

p.sidebar-title { margin: 0 ; padding: 0 ; }
p.sidebar-subtitle { margin: 0 ; padding: 0 ; }

div.sidebar ul {margin-left: 0; padding-left: 1em; padding-right:0} 

div.bodyimage { text-align: center; }

img {
    margin: 5px 5px 5px 5px;
    padding: 0;
    border-color: black ;
    border-style: solid;
    border-width: 2px 2px 2px 2px;
    vertical-align: middle ;
}

img.noborder {
    border: 0 ;
}

/* For the table of contents */
div.contents {
    font-size:smaller;
    border : solid #AAAAAA;
    border-width : 0 0 0 4px ;
    padding : 0 0 0 1ex ;
    background-color : #f9f9f9 ;
}
.contents a {
    color: black ;
    text-decoration:none ;
}
.contents a:hover {
    color: black ;
    text-decoration:underline ;
}
.topic-title a{
    font-size: larger ;
    color: #643200 ;
    font-weight: 900;
}
.topic-title a:hover {
    text-decoration: none ;
    color: #643200 ;
    font-weight: 900;
}

/* tree */
    div.tree {
	background-image: url("images/background.png");
	background-repeat: no-repeat;
	position: right ;
	margin: auto ;
	padding: 206px 0 1ex 0 ;
	width: 17ex ;
	font-family: sans-serif ;
    }
    div.tree a:link {
	text-decoration: none;
	color: #555;
	font-weight : 500 ;
	display: block;
    }
    div.tree a:visited {
	text-decoration: none;
	color: #555;
	font-weight : 500 ;
	display: block;
    }
    div.tree a:hover {
	text-decoration: none;
	word-spacing: 0px;
	font-weight : 500 ;
	display: block;
	background-color : #ccc ; color : #666 ;
    }
    div.treeleaf {
	border: solid #ececec ; border-width: 1px 0 1px 0 ; 
	background-color: #f9f9f9 ; }
    div.treeleaf:hover { background-color : #ccc ; color : #666 ; }
    div.treedepth1 { border-width : 2px 0 2px 0 ; }
    div.treedepth1 a { padding: 4px 0px 4px 1ex ; font-weight: 500 ;} 
    a.currentnode { border-width: 2px 0 2px 0; 
	border-color: #3c0a00 ; color:#3c0a00 ;}
    div.currentnode {
	border-color: #3c0a00 ; border 2px 0 2px 0 ;
	background-color: #dfcfbd ; }
    div.currentnode a { background-color: #dfcfbd ; color:#3c0a00 ;}
    div.currentnode a:visited { color:#3c0a00 ;}
    div.currentnode a:link { color:#3c0a00 ;}
    div.treedepth1 a:visited {font-weight: 500 ;}
    div.treedepth2 a { padding: 0 0 0 2ex ; font-size: 80% ; } 
    div.treedepth3 a { padding: 0 0 0 3ex ; font-size: 70%  ; }
    div.treedepth4 a { padding: 0 0 0 3.5ex ;  font-size: 60% ; }
    div.treedepth0 { padding: 6px 0 6px 1ex ; font-size: 110% ;
	border-width : 3px 0 2px 0 ;
	color: #999 ; font-weight : 900 ; display:block }
    div.treedepth0:hover { font-weight : 900 ; }
    div.treedepth0 a { font-weight : 900 ;color : #999 ; }
    div.treedepth0 a:visited { font-weight : 900 ;color : #999 ; }
    div.treedepth0 a:link { font-weight : 900 ;color : #999 ;  }
    div.treedepth0 a:hover { font-weight : 900 ; 
	/* An IE hack */
	_background-color: #f9f9f9 ;}
/* EO tree */

div.bottomsidebar {
    border: solid #ececec ;
    border-width : 3px 0 0 0 ;
    background-image: url("images/bottom-sidebar.png");
    background-repeat: no-repeat;
    background-position: bottom ;
    height: 65px;
    background-color : #f9f9f9 ;
    margin-bottom: -15px ;
}


div.menubar {
    margin: 0 3px 0 3px ;
    border: dotted ;
    border-color: #999 ;
    border-width: 0 1px 1px 1px ;
    padding: 0px 3px 0 3px ;
    position: right ;
    float: right ;
    font-size: x-small ;
    font-family: sans-serif ;
    color: #727777;
    text-align: center ;
}

div.menubar a { color: #727777 ; font-weight: 400 ; }
div.menubar a:hover { color: #666 ; text-decoration: none ; }

div.menubar:hover {
    background-color: #ccc ;
}

div.document { padding: 1ex 0 0 0}