body {
			font-family   : Arial, Helvetica, sans-serif;
			margin-left   : 10em;
			margin-top    : 1em;
			margin-right  : 1em;
			border        : 1px solid darkblue;
			padding-left  : 1em;
			padding-right : 1em;
		}
		p {
			line-height : 1.3em;
		}
		h1 {
			background-color : darkblue;
			color            : lightblue;
			padding          : 0;
			margin           : 0;
			padding-left     : 0.5em;
			margin-bottom    : 0.5em;
			font-variant     : small-caps;
		}
		h2 {
			background-color : lightblue;
			color            : darkblue;
			padding          : 0;
			margin           : 0;
			padding-left     : 0.5em;
			margin-bottom    : 0.5em;
		}
		a {
			text-decoration : none;
		}
		a:hover {
			background-color: lightblue;
		}

		.menu {
			border           : 1px solid darkblue;
			background-color : lightblue;
			background-image : url(/tibit.org.jpg);
			width            : 8em;
			bottom           : 1em;
			list-style-type  : none;
			margin           : 0;
			padding          : 0;
			text-align       : center;
			position         : fixed;
			top              : 1em;
			left             : 1em;
			padding-top      : 1em;
		}
		.menu li {
			margin-bottom    : 0.5em;
			margin-top       : 0.9em;
		}
		.code {
			border           : 2px solid #000000;
			background-color : lightyellow;
			padding          : 1em;
			font-family      : monospace;
			white-space      : pre;
		}
		.command {
			font-weight      : bold;
		}
		.arg {
			font-style       : italic;
		}
		.footer {
			font-style       : italic;
			font-size        : x-small;
			text-align       : right;
		}
		.list li {
			margin-bottom    : 0.5em;
			margin-top       : 0.9em;
		}
		/* corners for the menu */
		.ltmenubox,.rtmenubox,.lbmenubox,.rbmenubox {
			position         : fixed;
			height           : 1em;
			width            : 1em;
			background-color : #ffffff;
			border           : 1px solid #ffffff;
		}
		.ltmenubox {
			top                 : 1em;
			left                : 1em;
			border-bottom-color : darkblue;
			border-right-color  : darkblue;
		}
		.rtmenubox {
			top                 : 1em;
			left                : 8em;
			border-left-color   : darkblue;
			border-bottom-color : darkblue;
		}
		.lbmenubox {
			bottom              : 1em;
			left                : 1em;
			border-right-color  : darkblue;
			border-top-color    : darkblue;
		}
		.rbmenubox {
			bottom              : 1em;
			left                : 8em;
			border-left-color   : darkblue;
			border-top-color    : darkblue;
		}

		/* corners for the main body */
		.ltbox,.rtbox {
			position         : absolute;
			height           : 1em;
			width            : 1em;
			background-color : #ffffff;
			border           : 1px solid #ffffff;
		}
		.ltbox {
			top                 : 1em;
			left                : 10em;
			border-bottom-color : darkblue;
			border-right-color  : darkblue;
		}
		.rtbox {
			top                 : 1em;
			right               : 1em;
			border-left-color   : darkblue;
			border-bottom-color : darkblue;
		}