body {
    font-family: "Palatino Linotype", Georgia, "Times New Roman", Times, serif;
    margin: 0;
    background: white url("../image/jedi-bg-r.png") fixed center center no-repeat;
    color: black;
}

h1 {
    text-decoration: underline;
    display: inline;
    padding: 0;
    margin: 0;
}

h1#header {
    display: none;
}

#footer {
    display: none;
}

div#toc {
    display: none;
}

div#sections {
    margin-top: 4em;
}

.section_root {
    padding-top: 0;
    padding-right: 1em;
    padding-left: 1em;
    margin: 3em 1em 3em 0em;
}

.section {
    margin: 0 1em 3em 2em;
	 padding-top: 1em;
}

.root_header {
    text-decoration: underline;
    display: inline;
    padding: 0;
    margin: 0;
}

a		{ color: #036; text-decoration: underline; }
a:link		{ color: #036; text-decoration: underline; }
a:visited	{ color: #369; text-decoration: underline; }
a:active	{ color: #6600CC;  }
a:hover		{ color: #6600CC;  }

strong {
    color: red;
}

pre {
    font-family:geneva, verdana, arial, sans-serif;
    font-size:13px;
    color: #EEE;
    line-height:15px;
    background-color: #333;
    border: 1px dashed #EEE;
    padding: 2px;
    padding-left: 10px;
    margin-left: 30px;
    margin-right: 75px;
}

.floatleft
{ float: left;
  margin: 0 1em 1em 0;
}

ol {list-style-type: decimal;}
ol ol {list-style-type: upper-roman;}
ol ol ol {list-style-type: lower-roman;}