a
{
	font-family: monospace;
	font-size: 14px;
	text-decoration: none;
}

a:hover
{
	text-decoration: underline;
}

a.sel
{
	font-weight: bolder;
}

body
{
	border-left: solid 15px #26695f;
	color: black;
	font-family: sans-serif;
	font-size: 14px;
	margin: 0;
	padding-left: 10px;
	padding-top: 10px;
}

div.content
{	/* Main content section */
	margin-left: 20px;
	margin-right: 40px;
}

div.footer
{	/* Footer licence section */
	color: green;
	font-size: 10px;
	margin-bottom: 10px;
	paddin-bottom: 10px;
	text-align: center;
}

div.footmenu
{	/* Menu at the foot of the page */
	color: grey;
	font-size: smaller;
	text-align: right;
}

div.footmenu a
{
	color: grey;
}

div.inset
{	/* Inset picture right 200px wide */
	clear: right;
	color: green;
	float: right;
	font-size: smaller;
	margin-left: 10px;
	margin-bottom: 10px;
	text-align: center;
}
	
div.menu_match
{	/* Matched menu item */
	font-weight: bolder;
}

div.motto
{	/* Motto */
	color: green;
	font-size: small ;
	font-style: italic;
	margin-bottom: 3px;
	text-align: center;
}

div.picture
{	/* Profile picture */
	font-size: smaller;
	font-weight: bolder;
	text-align: center;
}

h1
{
	color: #4f63aa;
	font-family: sans-serif;
	font-size: 20px;
	font-weight: normal;
	text-align: center;
}

h2
{
	color: #4f63aa;
	font-family: sans-serif;
	font-size: 17px;
	font-weight: normal;
}

img
{
	border: none;
}

p
{
	font-family: serif;
	font-size: 14px;
	line-height: 150%;
}

span.co
{	/* Company name */
	font-family: sans-serif ;
}

table.commands
{	/* Table of commands */
	width: 100%;
}

table.content
{	/* Main content table */
	margin-bottom: 20px;
	padding-bottom: 20px;
	width: 100% ;
}

table.header
{	/* Header line with menu and logo */
	width: 100%;
}

td
{
	font-family: serif;
	font-size: 14px;
	line-height: 150%;
}

td.c1
{	/* Main content column */
	border: 1px solid #aaffaa ;
	line-height: 150%;
	padding-left: 15px;
	padding-right: 20px;
	padding-top: 20px;
	width: auto ;
}

td.c2
{	/* Menu column */
	background: #aaffaa ;
	padding: 0;
	padding-top: 3px;
	width: 230px;
}

td.commands1
{	/* Column containing command */
	color: green;
	width: 25%;
}

td.commands2
{	/* Column containing the description of the command */
	padding-right: 10px;
	width: 50%;
}

td.commands3
{	/* Column containing command */
	color: green;
	width: 25%;
}

td.header1
{	/* Logo section of header */
	color: #4f63aa;
	font-family: sans-serif;
	font-size: 30px;
	font-weight: normal;
}

td.header2
{	/* Menu section of header */
	color: gray;
	font-family: monospace;
	font-size: 14px;
	line-height: 100%;
	padding-right: 10px;
	text-align: right;
}

td.header2 a
{
	color: green;
}

th
{
	text-align: left;
}

tr
{
	vertical-align: top;
}

tr.base
{
	vertical-align: baseline;
}