body {
	margin: auto;
	margin-top: 1em;
	padding-right: 3em;
	padding-left: 3em;
	width: 72em;
	min-height: 100vh;
	background: #E2ECFD;
/*	background-image: linear-gradient(#F1F5FB, #4C85DF); */
}

h2 {
	font-family: arial, helvetica, sans, sans-serif;
	text-align: center;
	color: black;
}

a.topnav {
	text-decoration: none;
	color: blue;
}

a.topnav:hover {
	color: red;
}

a.submenu {
	text-decoration: none;
	display: block;
	font-style: normal;
	color: blue;
	padding: 4px;
}

a.submenu:hover {
	background: red;
	color: white;
}

/* Table cells forming the navigation menu */
td.menu {
	height: 2em;
	width: 12em;
	color: blue;
	text-align: center;
	font-weight: bold;
	font-style: italic;
	font-family: sans-serif;
	cursor: pointer;
	background-image: url(/images/menubar.gif) ;
	background-repeat: repeat-x;
}

td.menu:hover {
	color: red;
}

td.menu_empty {
	height: 2em;
	background-image: url(/images/menubar.gif) ;
	background-repeat: repeat-x;
}

td.sep {
	width: 5px;
	height: 40px;
	background-image: url(/images/separator.gif) ;
	background-repeat: repeat-x;
}

/* Style for an initial drop-cap letter */
span.dropcap {
	float: left;
	font-size: 250%;
	margin: -0.1em 0.05em -0.2em 0em;
	text-indent: 0em;
	font-weight: bold;
	line-height: 1em;
	height: 1em;
	color: purple;
}

/* cmd is the font used for commands */
span.cmd {
	font-family: monospace, sans, sans-serif;
	font-weight: bold;
}

/* Code samples are always indented */
pre {
	padding: 1em;
	border: solid black 1px;
	background: #EDEDED;
}

.slogan {
	float: right;
	padding-top: 17px;
	width: 300px;
	padding-bottom: 1em;
}

.logo {
	float: left;
	width: 400px;
	padding-bottom: 1em;
}

.blurb_tbl {
	width: 100%;
	table-layout: fixed;
	margin-top: 2em;
	border-spacing: 0;
	margin-bottom: 5em;
}

td.blurb_left {
	vertical-align: top;
	text-align: center;
	width: 30%;
	padding-right: 2em;
}

td.blurb_right {
	vertical-align: top;
	background: white;
	width: 68%;
	margin-top: 1em;
	margin-bottom: 1em;
	padding-left: 2em;
	padding-right: 2em;
	padding-top: 1em;
	padding-bottom: 1em;
	border-radius: 1em;
}

hr.divider {
	margin-top: 1.5em;
	margin-bottom: 1.5em;
}