/* CSS style sheet for the course websites */
/* W. Hetherington, Oregon State University, 2008 */

/* Borders can be placed around anything, so when you are having trouble spacing things properly, draw some borders.*/

/* Define general default values */
body {
	/*background-color: <?=$bkg_color?>;*/		/*#f8f8f0;*/
	/*background: #f8f8f0  url(trapezium_orion_nebula_PIA01322_1600x1600_brightenedx2.jpg) 0 0 no-repeat fixed;*/
	background: #fefdf0;
	margin-left: 7%; margin-right: 7%;	/* a nice looking margin */
	font-family: Verdana, "Bitstream Vera Sans", "DejaVu Sans", Tahoma, Geneva, Arial, Sans-serif;   /*verdana, arial, sans-serif;*/
	/*font-size: 1.0em;*/
	color:#00006d;
      }

/* Links */
	a:link {color:#0000b0 ; text-decoration: none; }
	a:active {color: #00b0b0; text-decoration: none; }
	a:visited {color: #900090; text-decoration: none; }
	a:hover {color: #008040; text-decoration: underline; }

/* Class definitions */

/* The header at the top of the page */
div.header {
	margin: 0% 0% 0% 0%;	/* Span the whole display width available */
	border-bottom: 0.1em solid orange;	/* Just one orange line at the bottom of the header box */
	/*border: 0.05em solid blue;*/
	padding: 0em 0em 0em 0em;		/* top, right, bottom and left clearance within the box */
	text-align:left;			/* All text to the left edge */
	color: black;				/* Black goes well with orange. */
	font-family: "URW Bookman L", "luxi sans", garamond, georgia, arial, sans-serif; /* try nice fonts in order */
	font-size: 1.4em;		/* font size is 1.4 times the font size set in the body statement */
	font-weight: 600;			/* Slightly thick font, normal is 400 */
   }

/* Table specifications */

/* Define a long table cell class, to be used as <td class="long">*/
td.long {
	width: 70%;
	}
/* Define a left table cell class, to be used as <td class="left">*/
td.long {
	text-align: left;
	}


/* The footer at the bottom of the page - text, links and logo are specified on the html */
div.footer {
	margin-left: auto; margin-right: auto;	/* Span the whole display width */
	border-top: 0.02em solid brown;		/* Thin brown line at the top of the footer box */
	padding: 1em 1em 1em 1em;		/* A little clearance all around within the box: t, r, b, l */
	text-align: center;			/* Place text in the center */
	color: black;				/* Text is black */
	font-family: arial, sans-serif;			/* Common sans-serif font */
	font-size:1em;				/* 1.0 times the font size set in the body statement */
	font-weight: 500;			/* Slightly thick font, normal is 400 */
   }
div.footer_two {
	margin-left: auto; margin-right: auto;	/* Span the whole display width */
	padding: 1em 1em 1em 1em;		/* A little clearance all around within the box: t, r, b, l */
	text-align: center;			/* Place text in the center */
	color: black;				/* Text is black */
	font-family: arial, sans-serif;			/* Common sans-serif font */
	font-size:1em;				/* 1.0 times the font size set in the body statement */
	font-weight: 500;			/* Slightly thick font, normal is 400 */
   }

/* Title to appear between the header and the content section, or you could just use the h1 heading */
div.title {
	margin-left: auto; margin-right: auto;	/* Span the whole display width */
	/*border: 0.05em solid maroon;*/	/* Thin maroon line around the title box */
	padding: 1em 0em 0em 0em;		/* A little space at the bottom of the box: t, r, b, l */
	text-align: center;			/* Place text in the center */
	color: #302010;				/* Text is a dark blue */
	font-family: georgia, "URW Bookman L", "luxi sans", garamond, arial, sans-serif; /* Try some fonts. */
	/*font-style: italic;*/			/* Titles sometimes look better in italic. */
	font-size:1.3em;			/* Large, 1.5x the font size in the body statement */
	font-weight: 600;			/* Slightly thick font, normal is 400 */
   }

/* Contents of the page */
div.content {
	margin: 0% auto 0% auto;	/* Span the available display width */
	/*border: 0.05em solid olive;*/		/* Thin brown border all the way around the content box */
	padding: 1em 1em 5em 1em;		/* A little clearance all around within the box: t, r, b, l */
	top: 0;					/* Start text at the top of the box even if it will not be full */
	text-align: left;			/* Keep the text to the left within the box */
	color: black;				/* Black is usually the best choice */
	font-family: verdana, arial, sans-serif;	/* Sans-serif fonts are the most readable on screen */
	font-size: 90%;			/* multiplier for font size in the body statement */ 
	font-weight: 500;			/* Slightly overweight font, normal is 400 */
   }

/* Navigation panel */
div.nav {
	margin-left: 20%; margin-right: auto;	/* Span the available display width */
	/*background: <?=$nav_color?> ;*/
	border: 0.15em solid #996633;		/* Purple border all around, with the "inset" appearance */
	padding: 1em 1em 1em 1em;		/* A little clearance all around within the box: t, r, b, l */
	top: 0;					/* Start text at the top of the box even if it will not be full */
	text-align:left;			/* Keep the text to the left within the box. */
	color: black;				/* Black is never a bad choice. */
	font-family: verdana, arial, sans-serif;		/* Simple, readable font */
	font-size: 93%;			/* 1.0x the font size in the body statement */
	font-weight: 500;			/* Slightly overweight font, normal is 400 */
   }

/* Placement of icons to the left or right */
img.icon-right {				/* Place an icon on the right */
	float:right;
	/*margin-right: 0%*/
	/*margin: 0em auto 0em 45%;*/
	/*border: 0.1em solid orange;*/
	}
img.icon-left {					/* Place an icon on the left */
	float:left; margin-left: 0;
	}
img.icon-left a:link {color:#0000b0 ; text-decoration: none; }
img.icon-left a:active {color: #00b0b0; text-decoration: none; }
img.icon-left a:visited {color: #ffffff; text-decoration: none; }
img.icon-left a:hover {color: #ffffff; text-decoration: underline; }

/* Detailed font specification - sizes, styles, thicknesses, colors, spacings */

/* Set default font for headings, h4>h3>h2>h1 */
h1, h2, h3, h4, {
	font-family: arial, sans-serif;		/* Try some readable fonts */
	color: #00006d;
	}

.book {
	/*font-family: arial, sans-serif; font-weight: 500; color: #dd0000; */
	font-style: italic;
	}

.embolden {
	font-family: arial, sans-serif;	 font-weight: 600;
	color: #004400;
	}

.bluelight {
	font-family: arial, sans-serif;	/* font-weight: 600;*/
	color: #0000dd;
	}

.greenlight {
	font-family: arial, sans-serif;	/* font-weight: 600;*/
	color: #00dd00;
	}

.orangelight {
	font-family: arial, sans-serif;	/* font-weight: 600;*/
	color: #ee5500;
	}

.brownlight {
	font-family: arial, sans-serif;	/* font-weight: 600;*/
	color: #996633;
	}

.headlight {
	font-family: arial, sans-serif; font-weight: 600;
	color: #dd0000;
	}

.highbeam {
	font-family: arial, sans-serif; font-size: 1.1em; font-weight: 600;
	color: #dd0000;
	}

/* List defaults */
ul {					/* Unordered list uses a solid disc */
	margin-left: 0em; padding-left: 2em;
	list-style-type: disc;
	list-style-position: outside;/* Keep the list label to the left of all the list item text - outside the box */
	}

ul ul {				/* lower case alphabetic list labels for li within two ul's */
	list-style-type: circle;
	list-style-position: outside;/* Keep the list label to the left of all the list item text - outside the box */
	}

ol {					/* Ordered list uses decimal integers */
	margin-left: 0em; padding-left: 2em;
	list-style-type: decimal;
	list-style-position: outside;/* Keep the list label to the left of all the list item text - outside the box */
	}

ol ol {				/* lower case alphabetic list labels for li within two ol's*/
	list-style-type: lower-alpha;
	list-style-position: outside;/* Keep the list label to the left of all the list item text - outside the box */
	}

/* Navigation fonts */
div.nav h4, h3, h2, h1 {					/* h4 size within the navigation class */
	font-family: arial, sans-serif;
	font-weight: normal; font-style: normal;
	/*font-size: 1.1em;*/			/* Font size is relative to that specified in the nav class*/
	color:#00003d;				/* Dark blue */
	margin: 0em 0em 0em 0em;	/* Space around this block of text: top=0.8, right=0, bottom=0.5, left=0 */
	}
div.nav h4 {
	font-size: 100%;
	}
div.nav h3 {
	font-size: 105%;
	}
div.nav h2 {
	font-size: 110%;
	}
div.nav h1 {
	font-size: 115%;
	}
div.nav ul {					/* ol (ordered list) size within the nav class */
	/*border: 0.05em solid green;*/		/* Borders can be drawn about anything. */
	font-family: luxi sans, arial, sans-serif;
	font-weight: normal; font-style: normal;
	font-size: 90%;
	color:#000000;				/* Black text if not a link */ 
	/*margin: 0.5em 0em 0.8em 0em;*/	/* Space around this block of text: top=0, right=0, bottom=0, left=0 */
	margin: 0.1em 0em 0.1em 0em;	/* Space around this block of text: top=0, right=0, bottom=0, left=0 */
	padding-left: 1em;			/* The margin-left: 0; padding-left: 2em; is important for browser compatibility.*/
	list-style-type: circle;	/* disc, square, none, ... */
	list-style-position: outside;/* Keep the list label to the left of all the list item text - outside the box */
	}
div.nav p {					/* Font for a paragraph, unlikely to be used in a navigation box */
	font-family: arial, sans-serif;
	font-weight: normal; font-style: normal;
	/*font-size: 1em;*/
	color:#00006d;				/* Dark blue */
	}

/* Content fonts */
div.content p {					/* Font for a paragraph */
	font-family: luxi sans, sans-serif;
	font-weight: normal; font-style: normal;
	font-size: 90%;
	color:#000000;				/* Pitch black */
	}
div.content h4, h3, h2, h1 {				/* h4 size within the content class */
	/*border: 0.05em solid green;*/
	font-family: arial, sans-serif;
	font-weight: 500; font-style: normal;
	/*font-size: 1.3em;*/
	/*font-size: 100%;*/
	color:#00006d;				/* Dark blue */
	margin: 0em 0em 0em 0em;	/* Space around this block of text: top=0.8, right=0, bottom=0.5, left=0 */
	}
div.content h4 {				/* h4 size within the content class */
	font-size: 110%;
	}
div.content h3 {				/* h4 size within the content class */
	font-size: 120%;
	}
div.content h2 {				/* h4 size within the content class */
	font-size: 130%;
	}
div.content h1 {				/* h4 size within the content class */
	font-size: 140%;
	}
div.content ol {					/* ol (ordered list) size within the content class */
	/*border: 0.05em solid red; */
	font-family: luxi sans, sans-serif, times;
	font-weight: normal; font-style: normal;
	/*font-size: 1.0em;*/
	color:#000000;				/* Black */  
	margin: 0.5em 0em 0.5em 0em;	/* Space around this block of text: top=0.5, right=0, bottom=0.5, left=0 */
	}
div.content ul {					/* ul (unordered list) size within the content class */
	/*border: 0.05em solid blue;*/
	/*font-family: luxi sans, sans-serif, times;*/
	font-weight: normal; font-style: normal;
	/*font-size: 1.0em;*/
	color:#000000;				/* Black */  
	margin: 0.5em 0em 0.8em 1em;	/* Space around this block of text: top=0.5, right=0, bottom=0.5, left=0 */
	}
div.content li {					/* ul (unordered list) size within the content class */
	/*border: 0.05em solid purple;*/
	font-family: luxi sans, sans-serif, times;
	font-weight: normal; font-style: normal;
	/*font-size: 1.0em;*/
	color:#000000;				/* Black */  
	margin: 0em 0em 0.5em 0em;	/* Space around this block of text: top=0, right=0, bottom=0, left=0 */
	}
div.content u {					/* underlined size within the content class */
	font-family: luxi sans, sans-serif, times;
	font-weight: normal;
	font-style: underline;
	/*font-size: 1.0em;*/
	color:#000000;  
	margin: 0em 0em 0em 0em;	/* Space around this block of text: top=0, right=0, bottom=0, left=0 */
	}

/* Footer fonts */
div.footer p {					/* Font for a paragraph */
	font-family: arial, sans-serif;
	font-weight: normal; font-style: normal;
	font-size: 0.8em;
	color:#000000;				/* Pitch black */
	}


/* Extraneous fonts */
p {							/* paragraph */
	/* text-indent:1.5cm; */
	font-family:times; font-style: normal; font-weight: normal;
        font-size: 1em; font-color: black;
	}
caption {						/* Table caption */
	text-align:left; vertical-align:middle; color:#00006d;
	font-family:helvetica; font-size:1em; font-weight:600; font-style:normal;
	}

/* From pygmentize    */
td.linenos { background-color: #f0f0f0; padding-right: 10px; }
span.lineno { background-color: #f0f0f0; padding: 0 5px 0 5px; }
pre { line-height: 125%; }
body .hll { background-color: #ffffcc }
body  { background: #f8f8f8; }
body .c { color: #408080; font-style: italic } /* Comment */
body .err { border: 1px solid #FF0000 } /* Error */
body .k { color: #008000; font-weight: bold } /* Keyword */
body .o { color: #666666 } /* Operator */
body .cm { color: #408080; font-style: italic } /* Comment.Multiline */
body .cp { color: #BC7A00 } /* Comment.Preproc */
body .c1 { color: #408080; font-style: italic } /* Comment.Single */
body .cs { color: #408080; font-style: italic } /* Comment.Special */
body .gd { color: #A00000 } /* Generic.Deleted */
body .ge { font-style: italic } /* Generic.Emph */
body .gr { color: #FF0000 } /* Generic.Error */
body .gh { color: #000080; font-weight: bold } /* Generic.Heading */
body .gi { color: #00A000 } /* Generic.Inserted */
body .go { color: #808080 } /* Generic.Output */
body .gp { color: #000080; font-weight: bold } /* Generic.Prompt */
body .gs { font-weight: bold } /* Generic.Strong */
body .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
body .gt { color: #0040D0 } /* Generic.Traceback */
body .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
body .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
body .kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
body .kp { color: #008000 } /* Keyword.Pseudo */
body .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
body .kt { color: #B00040 } /* Keyword.Type */
body .m { color: #666666 } /* Literal.Number */
body .s { color: #BA2121 } /* Literal.String */
body .na { color: #7D9029 } /* Name.Attribute */
body .nb { color: #008000 } /* Name.Builtin */
body .nc { color: #0000FF; font-weight: bold } /* Name.Class */
body .no { color: #880000 } /* Name.Constant */
body .nd { color: #AA22FF } /* Name.Decorator */
body .ni { color: #999999; font-weight: bold } /* Name.Entity */
body .ne { color: #D2413A; font-weight: bold } /* Name.Exception */
body .nf { color: #0000FF } /* Name.Function */
body .nl { color: #A0A000 } /* Name.Label */
body .nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
body .nt { color: #008000; font-weight: bold } /* Name.Tag */
body .nv { color: #19177C } /* Name.Variable */
body .ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
body .w { color: #bbbbbb } /* Text.Whitespace */
body .mf { color: #666666 } /* Literal.Number.Float */
body .mh { color: #666666 } /* Literal.Number.Hex */
body .mi { color: #666666 } /* Literal.Number.Integer */
body .mo { color: #666666 } /* Literal.Number.Oct */
body .sb { color: #BA2121 } /* Literal.String.Backtick */
body .sc { color: #BA2121 } /* Literal.String.Char */
body .sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
body .s2 { color: #BA2121 } /* Literal.String.Double */
body .se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
body .sh { color: #BA2121 } /* Literal.String.Heredoc */
body .si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
body .sx { color: #008000 } /* Literal.String.Other */
body .sr { color: #BB6688 } /* Literal.String.Regex */
body .s1 { color: #BA2121 } /* Literal.String.Single */
body .ss { color: #19177C } /* Literal.String.Symbol */
body .bp { color: #008000 } /* Name.Builtin.Pseudo */
body .vc { color: #19177C } /* Name.Variable.Class */
body .vg { color: #19177C } /* Name.Variable.Global */
body .vi { color: #19177C } /* Name.Variable.Instance */
body .il { color: #666666 } /* Literal.Number.Integer.Long */