/* GRG positional CSS */

div#content {
	margin-left:5px;
	margin-right:5px;
	margin-top:5px;
}

div#header table#masthead {
	width: 800px;
}

/* Colouring and Font CSS */


body {
	background-color: #008000;
	font-family: sans-serif;
	font-size: 12pt;
}
td {
	font-family: sans-serif;
	font-size: 12pt;
}

h1 {
	font-family: serif;
	text-align:center;
}
.disp{
	background-color: #ffffd0;
}

a {
	text-decoration:underline;
	/*color: #408;*/
	font-weight:normal;
}
a:hover {
	text-decoration:underline;
}

/* Used where we would otherwise have a link to ourselves, via hyperlinkIfNotMe() method*/
span.myself {
	font-weight:bold;
}

sup.fn {
	font-size:8pt;
}

/* ============== Photographs (typically inside a p.photo) ================= */

.photo {
	text-align:center;
}
.photo img, .photo iframe, div.videoContainer {
	border: 1px solid black;
	padding: 8px;
	background-color:white;
}

/* ============== Page-specific ================= */
div#counter {
	padding-top: 25px;
	text-align:center;
}


#insengTable {
	width:100%;
}
#insengTable tr td {
	font-size:8pt;
	vertical-align:top;
}

/* ============== Suppliers pages ============== */
.supplier {
		font-weight: bold;
}


/* ============== Brushstrokes pages ============== */
pre.code {
	background-color:#fff;
	border:1px solid black;
	padding:2px;
	margin-left:50px;margin-right:50px;
	padding-left:1em;
}
pre.code .codeComment {
    color:#888;
}

/* ============== Games pages ====================*/
div.icon a img {
	border: 1px solid #aaf; 
	margin: 1px;
}