/* GRG positional CSS */

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

.disp {
	border:3px ridge;
	padding: 0 20px;
	width: 986px; /* 940 + (2x20) + (2x3)*/
}
div#header table#masthead {
	width: 800px;
}
div#header {
	margin-top:20px;
	border-top:4px solid black;
}
div#sub-logo-navbar {
	line-height:38px;
	background-color:black;
	color: #aaa;
	padding: 0 10px;
    font-family: "Helvetica Neue",Arial,Helvetica,"Nimbus Sans L",sans-serif;
	font-size:13px;
}


/* 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;
}

.advert-header-notify {
	color:grey;
}


/* ==================================
 * Fixes to old GRG pages to make them look like the new ones.
 * ================================== */
.disp {
	border: 3px ridge !important;
}
.disp td {
   border: 0;
}
.disp div#header {
    background-color:black;
	border-bottom: 38px solid black;  
}
.disp div#header table {
	/* insert new graphic! 940x123 */
	background:url(ivy_masthead3_940.jpg) no-repeat !important;
	width:940px !important;
	height: 123px !important;
	
}