body {
	margin:0px;
	padding:0px;
	/* color:#000; */
	/* background-color:#edb; */
	/* font-family:sans-serif; */
}
h1 {
    font-size: 20pt;
}
h2.tex {
    background: url(../images/tex.png) no-repeat;
    background-position: right center;
}
h2.mf {
    background: url(../images/mf.png) no-repeat;
    background-position: right center;
}
h2.web {
    background: url(../images/web.png) no-repeat;
    background-position: right center;
}
h2.vpc {
    background: url(../images/vpc.jpg) no-repeat;
    background-position: right center;
}
h2.xdeep {
    background: url(../images/xdeep.png) no-repeat;
    background-position: right center;
}
h2 {
    padding-top:15px;
    padding-bottom:15px;
    font-size: 16pt;
}

h3 {
    /* border-bottom: 2px solid grey; */
}

#header {
	margin-left:0px;
	border-left-width:0px;
	padding-top:1px;
	padding-bottom:1px;
	padding-left:10px;
	padding-right:5px;
	/* color:inherit; */
	/* background-color:#e1e1e1; */
}

#topnavi
{
  padding: 2px 0;
  margin-left: 0px;
  border-bottom: 1px solid #778;
  #font: bold 13px Verdana, sans-serif;
  font-size: 14px;
  font-style: bold;
}

#topnavi li
{
  list-style: none;
  margin: 0;
  display: inline;
}

#topnavi li a
{
  padding: 3px 0.5em;
  margin-left: 3px;
  border: 1px solid #778;
  border-bottom: none;
  background: #AAA;
  text-decoration: none;
}

#topnavi li a:link { color: #448; }
#topnavi li a:visited { color: #667; }

#topnavi li a:hover
{
  color: #000;
  background: #AAE;
  border-color: #227;
}

#topnavi li a#current
{
  background: white;
  border-bottom: 1px solid white;
}

#content {
    margin: 15px;
    /* float: right; */
    /* width: 90%; */
}

blockquote.cui {
	border-width: 1px;
	border-style: solid;
	background-color:#e3e3e3;
}

code, kbd.command {
  font-family: monospace;
}

pre {
  background-color: #e5e5e5;
  border: 1px solid #050505;
  padding: .5em 1em;
  margin: 0 2em /*  .5em 2em */;
  font-weight: bold;
  font-size: 10pt;
}

pre.screen {
  color: #000;
  background-color: #e9e9e9;
  font-weight: normal;
}

pre.userinput {
  color: #101310;
}

/*
pre.termmsg {
  color: #101310;
  background-color: #e5e5e5;
  border: 1px solid #050505;
  padding: .5em 1em;
  margin: 0 2em;
  font-weight: normal;
  font-family: monospace;
  font-size: 10pt;
}
*/

.literal, .prompt {
  font-weight: normal;
}