body {
	margin: 0px;
	padding: 0px;
	background-color: #E6E6E6;
	font-family: 'Open Sans', Arial, Helvetica, sans-serif;
	font-size: 10pt;
}

div#left_background {
	position: fixed;
	top: 10px;
	left: 10px;
	font-family: "Arial Black", Helvetica, sans-serif;
	font-size: 400%;
	color: #CECECE;
	z-index: -1;
}

div#left_background p {
	margin-top: 5px;
}

div#left_background a {
	text-decoration: none;
	color: inherit;
}

h1#title {
	font-family: Arial, Helvetica, sans-serif;
	border-bottom: dotted 2px gray;
	padding-bottom: 20px;
}

div#main {
	background-color: #FAFAFA;
	margin-left: auto;
  	margin-right: auto;
  	box-shadow: 2px 2px 2px gray;
  	border-radius: 5px;
	width: 900px;
	padding: 10px;
	margin-top: 20px;
	margin-bottom: 20px;
}

div#main > header {
	padding-bottom: 10px;
	border-bottom: dotted 2px gray;
}

div#main footer {
	text-align: right;
	font-size: smaller;
	border-top: dotted 2px gray;
	margin-top: 5px;
}

div#menu_visibility {
	position: fixed;
	top: 0px;
	right: 1px;
	padding: 0px;
	width: 13px;
	background-color: #A9F5A9;
	box-shadow: 1px 1px 1px gray;
  	border-radius: 2px;
}

div#rightdiv {
	position: fixed;
	top: 20px;
	right: 15px;
	width: 200px;
	padding: 0px;
}

nav.rightnav {
	background-color: #A9F5A9;
	box-shadow: 2px 2px 2px gray;
  	border-radius: 5px;
  	padding: 10px;
  	margin-bottom: 10px;
}

nav.rightnav a {
	text-decoration: none;
	color: inherit;
}

nav.rightnav a:hover {
	color: red;
}

nav.rightnav h4 {
	margin-top: 0px;
	margin-bottom: 0px;
	text-align: center;
}

nav.rightnav ul {
	margin-left: -35px;
}

nav.rightnav ol {
	margin-left: -30px;
}

nav.rightnav ul {
	list-style-type: none;
}

nav.rightnav ul li {
	background: url("../images/arrow-right.png") no-repeat left center;
	padding-left: 20px;
	margin: 5px 0;
}

img#show_hide {
	display: inline;
	vertical-align: middle;
}

h4.top_headings {
	margin-bottom: 0px;
}

pre.prettyprint {
	margin-left: 3%;
	width: 90%;
}

/* hack !! */
pre.prettyprint ol.linenums > li {
	list-style-type: decimal;
}

/* hack !! */
pre.prettyprint ol.linenums > li {
	background: inherit;
}

code {
	font-family: 'Anonymous Pro', "Courier New", Courier, monospace;
	font-size: 110%;
	color: #0000C0;
}

code.inline {
	border-bottom: 1px dotted gray;
}

blockquote.tip {
	background-color: #CEF6F5;
	font-style: italic;
	box-shadow: 2px 2px 2px gray;
  	border-radius: 5px;
  	padding: 10px;
  	margin-left: 3%;
  	width: 90%;
}

blockquote.warning {
	background-color: #F6CECE;
}

article.exo {
	background-color: #FFFFCC;
	border: solid 2px #D5D5AB;
	border-radius: 5px;
	padding: 5px;
	font-style: italic;
}

article.exo h1 {
	margin-top: 0px;
	border-bottom: dotted 1px #D5D5AB;
}

p.resources {
	margin-left: 20px;
	margin-top: -20px;
	margin-bottom: 0px;
}

ul#links_source {
	display: none;
}

img {
	display: block;
	margin-left: auto;
    margin-right: auto;
    margin-top: 10px;
    margin-bottom: 10px;
}

span.name {
	color: #444444;
	font-weight: bolder;
}