h1 { font-size: large; }
  h2 { font-size: larger; padding-left: 5px; border-left: 10px solid black; }
  h3 { font-size: smaller; margin-left: 13px; padding-left: 7px; border-left: 5px solid black; }
  p  { margin-left: 15px;}
  pre{ margin-left: 20px; padding: 5px; border:3px solid #aaaaff; background-color: #eaeaff; font-size:smaller; }
  p, ul { line-height: 1.3em; }
  div.path { padding: 3px; border-bottom: 2px solid black; }
  div.footer {
	border-top: 1px solid black;
	padding-top: 3px;
	text-align: center;
	clear: both;
  }
  span.new { color: red; }
  .tt { font-family: Courier New; }
  img { padding:5px; margin-left: 20px; }
  img.cachelist { border: 2px solid black; }
  ul.list li a { font-weight:bold; }