body {
    background-color: #DDDDDD;
    background-image: url(/images/bg.GIF);
    font-family: Arial, Helvetica, sans-serif;
    font-size: smaller;
    background-repeat: repeat;
}

a {
    text-decoration: none;
    font-weight: bold;
}
a:link {
    color: #006699;
}
a:active {
	color: #009999;
	background-color: #FFFFCC;
}
a:visited {
	color: #006666;
}
a:hover {
    color: #009999;
    text-decoration: underline;
}
pre {
	font-family: "Courier New", Courier, mono;
	color: #008000;
	background-color: #FFFFFF;
}

/* (div-tag) White borderd box for coding examples */
.codeSample, pre.prettyprint {
	font-family: "Courier New", Courier, mono;
	font-size: 80%;
	color: rgb(64, 64, 64);
	background-color: white;
	white-space: pre;
	border: 1px dashed rgb(64, 64, 64);
	margin: 7px;
	padding: 5px;
}

/* (div-tag) Yellow box for hints */
.hint {
	color: black; /* not available on Mac: infotext; */
	background-color: #ffffe1; /* not available on Mac: infobackground; */
	white-space: normal;
	text-align: center;
	border: 2px ridge gray;
	margin: 7px;
	padding: 5px;
}

/* (div-tag) white box containing a link index*/
.index {
	color: black;
	background-color: white;
	text-align: left;
	border: 1px solid gray;
	margin: 20px;
	padding: 1px 20px;
}
.index  * ul { /* all descendant <ul> tags */
	font-size: small;
}
.index * ul a {
    text-decoration: underline;
    font-weight: bold;
}

.index  > ul > li { /* top-level <li> tags  */
    margin-top: 20px;
	list-style-type: none;
    font-weight: bold;
}
.index > ul a {
    text-decoration: underline;
}


/* Table with a decent border */
.tableStandard {
	border-collapse: collapse;
	margin: 7px;
}
.tableStandard td {
	padding: 5px;
	border: 1px solid #dddddd;
	vertical-align: top;
}
.tableStandard tr td pre {
	font-family: "Courier New", Courier, mono;
	color: #c0c0c0;
	background-color: #000000;
}
.tableStandard tr:hover {
/*	background-color: #FFFBF0; */
	background-color: #f7f5e8; /* darker hover effect for table row */
}

/* Table that looks like a console window */
.tableConsole {
	background-color: #000000;
	color: #c0c0c0;
	border: 3px ridge grey;
	border-collapse: collapse;
	padding: 2px;
	margin: 7px;
}
.tableConsole th { /* Blue window caption */
	background-color: #0000c0;
	color: #ffffff;
	text-align: left;
	font-weight: bold;
	padding: 5px;
	border: 1px solid #dddddd;
	vertical-align: top;
}
.tableConsole td { /* Black console window */
	padding: 5px;
	border: 1px solid #dddddd;
	vertical-align: top;
	font-size: 9pt;
}
.tableConsole tbody tr td pre { /* Override standard pre css */
	background-color: #000000;
	color: #c0c0c0;
	font-family: monospace;
	font-size: 9pt;
}

/* Right-aligned PostIt-alike news table on the welcome page */
.tableNews {
	width: 25%;
	padding: 3px;
    font-size: small;
	z-index: 100;
}
.tableNews th {
	color: #006699;
	background-color: #dddddd;
/*	border: 1px solid grey;*/
    border-style: none;
	padding: 2px;
}
.tableNews td {
	color: black; /* not available on Mac: infotext; */
	background-color: #ffffe1; /* not available on Mac: infobackground; */
	border: 1px outset grey;
	padding: 8px;
}
.tableNews td a {
    font-weight: normal;
}
.tableNews img {
    border-style: none;
	margin-right: 4px;
}
/*****************************************
 * Bookmark bar
 * (div-tag)
 */
.socialBookmarkBar {
	text-align: right;
	padding-right: 10px; /* gap betwwen icons and right table border */
/*	padding-top: 2px;*/
}
#idBmbHint { /* span tag containing help text for hovered bookmark */
	color: gray;
    font-size: 75%;
	margin-right: 10px; /* gap betwwen hint and icons */
}
.socialBookmarkBar .bmbLinks { /* span tag containing the icons */
	background-color: white;
	border: 1px dotted gray;
	padding: 5px;
	padding-top: 6px;
	padding-bottom: 2px;
}
.socialBookmarkBar img {
	border: 1px solid white; /* so it will not jitter on hover */
}
.socialBookmarkBar img:hover {
	border-color: darkred;
}