/**********************************************************************
* Styles for the main pages
*/

body.standard {
  padding-left: 10em;
  background-color: #E4ECEC;
	color: #000000;
}

p.main {
  font-size: 14px;
	font-family: arial, sans-serif;
	color: #000000;
}

h1.pageTitle {
	margin-top: 10pt;
	margin-bottom: 0em;
	padding: 0.25em;
	color: #FFFFFF;
	background: #445270;
}

h2.pageTitle {
	margin: 0em;
	border-spacing: 10em;
	padding: 0.25em;
	color: #DDDDBB;
	background: #445270;
}

table.linksTable {
	border-spacing: 25px;
}

table.linksTable div {
	font-size: larger ;
	text-decoration: underline;
	color: #002200;
}

td.linksTableTitle {
	font-size: 130%;
	font-weight: bold;
	text-align: center;
}

td.linksTableImageCell {
	text-align: center;
}


/**********************************************************************
* Main menu
*/

ul.mainMenu {
	overflow:auto;
	position: fixed;
	padding: 0.25em;
	top: 100px;
	left: 5px;
	width: 9em;
	background: #6A7389;
	font-weight: bold;
	list-style-type: none;
}

ul.mainMenu li {
	padding: 0.5em 0em;
}

ul.mainMenu li:hover {
	background: #8599B7;
}

ul.mainMenu a { text-decoration: none; }
ul.mainMenu a:link { color: #DDDDBB; }
ul.mainMenu a:active { color: #CCCCAA; }
ul.mainMenu a:visited { color: #DDDDBB; }


/**********************************************************************
* Logs from several pages
*/

span.mainLogDate {
	font-size: 12px;
	font-family: Courier, Times, serif;
	color: #508050;
}

span.mainLogTitle {
	font-size: 16px;
	font-weight: bold;
	font-family: Batang, Georgia, Tahoma, Arial, sans-serif;
	color: #000000;
	width: 25em;
}

p.mainLogEntry {
  font-size: 14px;
	font-family: Batang, Georgia, Tahoma, Arial, sans-serif;
	color: #282828;
	width: 25em;
}

ul.mainLogLinkList {
		margin: 0;
		padding: 0;
}

ul.mainLogLinkList li {
		display: inline;
		padding: 0 5px 0 0;
		margin: 0;
}



/**********************************************************************
* Global styles for base tags
*/

body.standard img {
  text-decoration: none;
	border: 0px;
}

body.standard a { text-decoration: none; color: #608060; }

/**********************************************************************
* Misc styles
*/

div.w3cValid {
	position: fixed;
	padding: 0.5em;
	bottom: 10px;
	left: 5px;
	width: 120px;
	text-align: center;
}

div.getFirefox {
	position: fixed;
	bottom: 150px;
	left: 10px;
}

p.emptyParagraph {
	height: 3em;
}

p.contactMe {
	padding: 3em 0em 0em 0em;
	text-align: right;
	color: #444444;
	font-size: 11px;
}

span.credits {
	font-size: 10px;
	font-style: italic;
}

.centered {
	text-align: center;
}

div.commandLine {
	font-family: monospace ;
	font-size: 11pt;
/* 	background-color: #BBBBBB ; */
	font-weight: bold ;
	background-color: black ;
	color: #BBBBBB ;
	margin: 2em 5em;
	padding: 0.5em;
	overflow: auto;
}

p.tutorialStep {
	margin-top: 3em;
}

span.tutorialStep {
	font-weight: bold;
}

/**********************************************************************
* Error messages styles
*/
ul.errorMessage {
	background-color: red ;
	font-family: Courier, monospace;
	font-size: 12px ;
}

ul.warningMessage {
	background-color: yellow ;
	font-family: Courier, monospace;
	font-size: 12px ;
}