body {background: #E8ECF1;
      padding: 0px 20px 0px 20px;
      line-height: 1.5em;}

h1 {color: #000080;}
h2 {background: #000080;
    color: #ffffff;
    padding: 2px;
    text-align:center;
}
h3 {padding: 2px 15px;
    color: #AA3333;
    font-weight: bold;
    border-bottom: 1px solid #000080;
    border-left: 12px solid #000080;
}
h3 a {color: #AA3333;}
h4 {margin-left: 20px;
	padding: 2px 15px;
	color: #AA3333;
	font-weight: bold;
	border-left: 12px solid #000080;#2f5376;

}
h5 {}

p {padding-left: 2em;}

pre.source {margin: 0px 50px 0px 50px;
            padding: 10px 20px 10px 20px;
            background:#fcfcfc;}

pre.command {color: #ffffff;
             margin: 0px 50px 0px 50px;
             padding: 10px 20px 10px 20px;
             background:#000000;}

table {margin-left: 2em;}

td {
  padding-right: 20px;
  padding-top: 2px;
  padding-bottom: 2px
}