html 
	{
	overflow-y:  scroll !important
	}

body
	{
	background-color: #eee;
	margin: 0;
	padding: 0;
	font-family:  verdana, arial, sans-serif;
	}

div
	{
	margin: 0;
	padding: 0;
	}

img
	{
	border: none;
	}

h1, h2, h3, h4
	{
	position:relative;	/* position rather than margin for IE6 */
	left:-32px;	
	}

h1
	{
	font-weight:normal;
	font-size: 20px;
	color: #d00;
	margin: 12px 0;
	}

h1.less_bright
    {
    color: #666;
    }

h2
	{
	font-weight:normal;
	font-size:  16px;
	color: #666;
	margin: 11px 0;
	}

h3
	{
	font-weight:normal;
	font-size:  14px;
	color: #666;
	margin: 10px 0;
	left:-16px;
	}

h4
	{
	font-size:  12px;
	color: #777;
	margin: 9px 0;
	left:-16px;
	}

pre
    {
    font-size: 10px;
    }

a, a:visited
	{
	text-decoration:none;
	color:#3706F1;
	}
a:hover
	{
	color:#f00;
	}
h1 a, h1 a:visited, h2 a, h2 a:visited, h3 a, h3 a:visited
	{
	color:#777;
	}
h1 a:hover, h2 a:hover, h3 a:hover
	{
	color:#f00;
	}

p, li, td, tr
	{
	font-size:  12px;
	line-height:  20px;
	margin: 0 0 1em 0;
	color: #555;
	}

td
	{
	padding-right:8px;
	}

ol li
	{
	margin: 10px 0 0 12px;
	color: #555;
	}

#main_frame
	{
	position: relative;
	margin:  30px auto 8px auto;
	width:  890px;
	background: #fff url(/images/menu_border_right.gif) 688px 0 repeat-y;
	border:  1px solid #ccc;
	}

#main_header
	{
	position:  relative;
	background:  #fff url(/images/header_bg.png) 0 0 repeat-x;
	height:  114px;
	}

#main_header #top_links
	{
	position: absolute;
	top: 8px;
	right: 16px;
	padding:  4px 0;
	
	font-size:  11px;
	color:  #444;
	font-weight: bold;
	}

#main_header #top_links a, #end_links a
	{
	color:  #444;
	text-decoration:  none;
	padding: 0 4px;
	}

#main_header .htitle
    {
    font-size: 24px;
    position: relative;
    left: 46px;
    top: 32px;
    font-weight: bold;
    color: #444;
    }

#end_links a
    {
    padding: 0 8px;
    }

#main_header #top_links a:hover, #end_links a:hover
	{
	color:  #f00;
	}

#main_header img
	{
	margin: 30px 0 0 40px;
	}

#main_header #tour_link
	{
	position:  absolute;
	right:  60px;
	top:  42px;
	height:  84px;	/* needed for IE6 */
	overflow: hidden;
	}
	
#main_header #tour_link a, #main_header #tour_link a:visited
	{
	display:block;
	width:  84px;
	height:  84px;	
	background-image: url(/images/tour_star.png);
	background-repeat: no-repeat;
	background-position: 0px 0px;
	}

#main_header #tour_link a:hover
	{
	background-position: 0px -100px;
	}

#about_bar
    {
    position: absolute;
    top: 120px;
    left: 700px;
    width: 180px;
    }

.portrait
    {
    float:right;
    margin-right:8px;
    }

#hello
    {
    margin-top:40px;
    }

#menu
	{
	position: absolute;
	top: 120px;
	left: 700px;
	width: 180px;
	}

#menu a, #menu div
	{
	display: block;
	font-size: 13px;
	text-decoration: none;
	text-indent: 50px;
	line-height: 38px;
	height: 38px;
	border-bottom:  1px solid #ddd;
	}

#menu a
	{
	color: #333;
	background:  #fff url(/images/menu_unsel_bg.png) 0 0 repeat-x;
	}

#menu a:hover
	{
	background-position:  0 -64px;
	color: #f00;
	}

#menu #estart
	{
	font-weight: bold;
	text-indent: 0;
	text-align: center;
	margin-top: 32px;
	border: none;
	}

#menu a#estart
	{
	background: #F60000 url(/images/start_bg2.png) 0 0 repeat-x;
	color: #fff;
	}

#menu a#estart:hover
	{
	background-position: 0 -40px;
	color:  #f77;
	}

#menu div
	{
	color: #eee;
	font-weight: bold;
	background: #6B6B6B url(/images/menu_sel_bg.png) 0 0 repeat-x;
	}

#menu span.l
	{
	display:  block;
	background-color:  transparent;
	background-position:  12px 7px;
	background-repeat:  no-repeat;
	}

#menu .submenu
    {
    text-indent: 66px;
    }

#menu .submenu span.l
    {
    background-position: 28px 7px;
    }

#menu a span.r
	{
	display: block;
	background:  transparent url(/images/menu_right.gif) 180px 14px no-repeat;
	}



#blog_sidebar
	{
	margin-top:32px;
	}
#blog_sidebar a
	{
	text-indent: 0;
	text-align: center;
	border: none;
	}

#height_holder
	{
	/* makes sure the #content div has min height, for IE6 which can't do min-height */
	float: right;
	height: 540px;
	width: 1px;
	}

#content
	{
	position: relative;
	top:  32px;
	left:  76px;
	width:  536px;
	margin-bottom: 60px;
	}

.screenshot
	{
	text-align: center;
	}

#end_links
	{
	clear: both;
	border-top:  1px solid #ddd;
	margin-left:  200px;
	padding:  12px 16px 12px 30px;
	text-align: left;
	font-size: 11px;
	color: #444;
	font-weight: bold;
	}

#copyright
	{
	font-size: 9px;
	color: #666;
	text-align: center;
	padding-bottom: 40px;
	}

/* BLOG */

.blog_about_author
	{
	clear:left
	}

.blog_about_author img
	{
	float:left;
	padding:3px 10px 8px 0
	}

.blog_entry
	{
	margin: 0 0 2em 0;
	}

.blog_entry_summary
	{
	margin: 0 0 2em 0;
	padding: 0;
	}

h2.blog_title
	{
	margin-top:0em;
	font-size: 22px;
	padding:0;
	}

.blog_entry_summary h2.blog_title a
	{
	line-height:1.6em;
	color: #555;
	}

.blog_entry_info
	{
	font-size:.7em;
	margin: 0.2em 0.2em 3.3em 0;
	padding:0
	}

.blog_entry_info .blog_by
	{
	font-style:italic;
	margin: 0 0 3px 0
	}

.blog_entry_info img
	{
	float:left;
	margin-right:1em
	}

.blog_read_more
	{
	font-size:0.8em;
	font-style:italic;
	border-bottom: 1px solid #ccc;
	padding-bottom:2em;
	}

.blog_read_more a, .blog_read_more a:visited
	{
	color: #d00;
	}

.blog_resources
	{
	border-top: 1px solid #ccc;
	margin-top: 6em
	}

.blog_archive_links
	{
	padding-bottom: 2em;
	font-size: 0.8em;
	font-weight: bold
	}

.blog_archive_links a, .blog_archive_links a:visited
	{
	color: #d00
	}

.blog_archive_links .newer
	{
	float:right
	}

.blog_archive_links .older
	{
	float:left
	}

.blog_entry blockquote
    {
    border:none;
    }

.blog_az
	{
	color:#ccc;
	font-weight:bold;
	font-size:1.8em;
	position:absolute;
	left:-30px
	}

/* TECHNICAL DETAILS */

.data
	{
	margin: 8px 0 16px 0;
	}

.data th
	{
	text-align: left;
	border-bottom: 1px solid #ccc;
	padding-right: 8px;
	}

.data td
	{
	border-bottom: 1px solid #ddd;
	}

img.semweb
	{
	margin:12px 0 20px 16px;
	}

img.semtypes
	{
	margin:0 0 20px 200px;
	}