/*PyLucid Adaptation*/
html {
	font-family: Arial, sans-serif;
	color: #063;
	font-size: 12pt;
}
body {
	background: #063;
	color: #063;
}
div.logo {
	float:left;
	position: fixed;
	top: 10px;
	left: 15px;
	background: #FC0 fixed;
	font: 13px Arial, sans-serif;
	padding: 10px;
	border: solid #000 2px;
	z-index: 1;
}

div.navlinks {
	float:left;
	position: fixed;
	top: 170px;
	left: 15px;
	width: 145px;
	background: #FC0 fixed;
	font: 10pt Arial, sans-serif;
	border: solid #000 2px;
	-moz-border-radius: 20px;
}

div.navheader {
	width: 100%;
	height: 1.2em;
	margin-left: -10px;
	margin-top: -5px;
	padding:2px;
	border: solid #000 1px;
	background: #FFF fixed;
}

span.navheader {
	font-weight: bold;
	padding: 10px;
	font-size: 12pt;
}

div.navlinks table ul {
	padding: 0px;
	margin-top: 0px;
	margin-bottom: 0px;
}

#searching {
	padding: 0px;
	margin: 0px;
}

#searching input, #searching button {
  font-size: 0.85em;
  border: 1px solid #444;
  padding: 1px;
}

#searching #id_search_string {
 width: 115px;
}

div.header {
	position: fixed;
	top: 10px;
	left: 170px;
	height: 148px;
	right: 10px;
	background: #FC0 fixed;
	font: 13px Arial, sans-serif;
	border: solid #000 2px;
	margin-bottom: 5px;
	text-align:center;
	z-index: 1;
}
div.masthead {
	position: fixed;
	top: 0px;
	left: 0px;
	right: 0px;
	z-index: 0;
	height: 10px;
	background: #063 fixed;
}
div.comments {
	font-size: 0.8em;
	position: absolute;
	margin-top: 1.2em;
	color: white;
/*	background: #FC0;
	border: 1px solid black;*/
	padding: 5px;
        padding-top: 1em;
	padding-bottom: 1.5em;
}
div.comments a {
	color: white;
}
div.main {
	-moz-border-radius: 20px;
	position: absolute;
	right: 10px;
	top: 170px;
	left: 170px;
	height: auto;
	background: #FFF fixed;
	font: 12pt Arial, sans-serif;
	padding: 10px; 
	border: solid #000 2px;
	color: #063;
}
/*Links*/
a {
	font-family: Arial, sans-serif;
	font-weight: 800;
	font-size: 10pt;
	color: #039;
	text-decoration: none;
}
a:active {
	color: #00C;
	text-decoration: none;
}
a:hover {
	text-decoration: underline;
	color: #C03;
}
a.navlink {
	font-family: Arial, sans-serif;
	font-weight: 800;
	font-size: 10pt;
	color: #039;
	text-decoration: none;
}
a.navlink:active {
	color: #00C;
	text-decoration: none;
}
a.navlink:hover {
	text-decoration: underline;
	color: #C03;
}
a.b {
	font-family: Arial, sans-serif;
	font-weight: 800;
	font-size: 12pt;
	color: #FFF;
	text-decoration: none;
}
a.b:active {
	color: #FFF;
	text-decoration: none;
}
a.b:hover {
	text-decoration: underline;
	color: #FFF;
}
table.nav {
	padding-left: 10px;
	padding-right: 2px;
	border: 0px;
}
#main_menu_lucidTag a.current {
	text-decoration: underline;
}

div.header table tr td h2 {
	vertical-align: middle;
	text-align: center;
	margin-top: -5px;
}
span.navtext { 
	font-size: 10pt;
	font-weight: bold;
}
img.UMA {
	border: solid #000 2px;
	text-align:center;
}
h1 {
	font-family: Arial, sans-serif;
	font-size: 20pt;
	color: #063;
}
div.header h2 {
	font-family: Arial, sans-serif;
	font-size: 14pt;
	color: #063;
	text-align: center;
}
div.header h1 {
	text-align: center;
	font-family: Arial, sans-serif;
	font-size: 20pt;
	color: #063;
}
h2 {
	font-family: Arial, sans-serif;
	font-size: 18pt;
	color: #063;
}
h3 {
	font-family: Arial, sans-serif;
	font-size: 14pt;
	color: #063;
}
span.u {
	display: inline;
	text-decoration: underline;
}
table.center { 
	margin-left: auto;
	margin-right: auto;
}
table.right { 
	margin-left: auto;
	margin-right: 0px;
}
div.header table {
	margin-left: auto;
	margin-right: auto;
	margin-top: auto;
	margin-bottom: auto;
}

textarea {
  width: 100%;
}
.back_links, #permalink {
  font-size: 0.8em;
}
#permalink {
  text-align: right;
  padding: 10px;
}
/*
a {
	font-family: Arial, sans-serif;
	font-weight: 800;
	font-size: 10pt;
	color: #039;
	text-decoration: none;
}
a:active {
	color: #00C;
	text-decoration: none;
}
a:hover {
	text-decoration: underline;
	color: #C03;
}
div.main h1 {
	text-align: center;
}*/
div.navlinks ul {
	padding-left: 1em;
	margin-left: 1em;
}
div.navlinks ul li ul{
	padding-left: 0em;
	margin-left: 1em;
}

/* ------------------------------------------------------------
   Pygments syntax highlighter
--------------------------------------------------------------- */
.pygments_code, .pygments_code table, .pygments_code .code, .pygments_code pre {
  background: #ffffff;
  padding: 0;
  margin: 0;
}
.pygments_code pre {
 border: 1px;
}
.pygments_code .code {
  width: 100%;
}
.pygments  { background: #ffffff; }
.pygments .c { color: #808080 } /* Comment */
.pygments .err { color: #F00000; background-color: #F0A0A0 } /* Error */
.pygments .k { color: #008000; font-weight: bold } /* Keyword */
.pygments .o { color: #303030 } /* Operator */
.pygments .cm { color: #808080 } /* Comment.Multiline */
.pygments .cp { color: #507090 } /* Comment.Preproc */
.pygments .c1 { color: #808080 } /* Comment.Single */
.pygments .cs { color: #cc0000; font-weight: bold } /* Comment.Special */
.pygments .gd { color: #A00000 } /* Generic.Deleted */
.pygments .ge { font-style: italic } /* Generic.Emph */
.pygments .gr { color: #FF0000 } /* Generic.Error */
.pygments .gh { color: #000080; font-weight: bold } /* Generic.Heading */
.pygments .gi { color: #00A000 } /* Generic.Inserted */
.pygments .go { color: #808080 } /* Generic.Output */
.pygments .gp { color: #c65d09; font-weight: bold } /* Generic.Prompt */
.pygments .gs { font-weight: bold } /* Generic.Strong */
.pygments .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
.pygments .gt { color: #0040D0 } /* Generic.Traceback */
.pygments .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
.pygments .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
.pygments .kp { color: #003080; font-weight: bold } /* Keyword.Pseudo */
.pygments .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
.pygments .kt { color: #303090; font-weight: bold } /* Keyword.Type */
.pygments .m { color: #6000E0; font-weight: bold } /* Literal.Number */
.pygments .s { background-color: #fff0f0 } /* Literal.String */
.pygments .na { color: #0000C0 } /* Name.Attribute */
.pygments .nb { color: #007020 } /* Name.Builtin */
.pygments .nc { color: #B00060; font-weight: bold } /* Name.Class */
.pygments .no { color: #003060; font-weight: bold } /* Name.Constant */
.pygments .nd { color: #505050; font-weight: bold } /* Name.Decorator */
.pygments .ni { color: #800000; font-weight: bold } /* Name.Entity */
.pygments .ne { color: #F00000; font-weight: bold } /* Name.Exception */
.pygments .nf { color: #0060B0; font-weight: bold } /* Name.Function */
.pygments .nl { color: #907000; font-weight: bold } /* Name.Label */
.pygments .nn { color: #0e84b5; font-weight: bold } /* Name.Namespace */
.pygments .nt { color: #007000 } /* Name.Tag */
.pygments .nv { color: #906030 } /* Name.Variable */
.pygments .ow { color: #000000; font-weight: bold } /* Operator.Word */
.pygments .w { color: #bbbbbb } /* Text.Whitespace */
.pygments .mf { color: #6000E0; font-weight: bold } /* Literal.Number.Float */
.pygments .mh { color: #005080; font-weight: bold } /* Literal.Number.Hex */
.pygments .mi { color: #0000D0; font-weight: bold } /* Literal.Number.Integer */
.pygments .mo { color: #4000E0; font-weight: bold } /* Literal.Number.Oct */
.pygments .sb { background-color: #fff0f0 } /* Literal.String.Backtick */
.pygments .sc { color: #0040D0 } /* Literal.String.Char */
.pygments .sd { color: #D04020 } /* Literal.String.Doc */
.pygments .s2 { background-color: #fff0f0 } /* Literal.String.Double */
.pygments .se { color: #606060; font-weight: bold; background-color: #fff0f0 } /* Literal.String.Escape */
.pygments .sh { background-color: #fff0f0 } /* Literal.String.Heredoc */
.pygments .si { background-color: #e0e0e0 } /* Literal.String.Interpol */
.pygments .sx { color: #D02000; background-color: #fff0f0 } /* Literal.String.Other */
.pygments .sr { color: #000000; background-color: #fff0ff } /* Literal.String.Regex */
.pygments .s1 { background-color: #fff0f0 } /* Literal.String.Single */
.pygments .ss { color: #A06000 } /* Literal.String.Symbol */
.pygments .bp { color: #007020 } /* Name.Builtin.Pseudo */
.pygments .vc { color: #306090 } /* Name.Variable.Class */
.pygments .vg { color: #d07000; font-weight: bold } /* Name.Variable.Global */
.pygments .vi { color: #3030B0 } /* Name.Variable.Instance */
.pygments .il { color: #0000D0; font-weight: bold } /* Literal.Number.Integer.Long */