/* $Id: diary.css 44 2005-06-06 23:13:47Z ahmed $ */

body {
  font-family : sans-serif;
  font-size : 10pt;
  color : black;
  background-color : white;
  margin : 5mm 5mm 5mm 30mm
}

.title {
  color : navy
}

h1 {
  font-size : 16pt
}

h2 {
  font-size : 14pt
}

h3 {
  font-size : 12pt
}

h4 {
  font-size : 10pt
}

.filename {
  color : green
}

.varname {
  color : silver
}

a {
  text-decoration : none
}

a:link {
  color : red
}

a:visited {
  color : gray
}

a:hover {
  border : solid thin red;
  color : blue
}

table {
  width : 100%
}

.screen {
  border : solid thin black;
  background-color : #ddddff;
  padding : 2mm
}

div.chapter {
  border-top : solid;
  border-width : 1mm;
  border-color : navy
}

hr {
  border-color : gray
}

table, td, tr {
  padding : 1mm
}

div.section div.section {
  margin-left : 8mm
}

div[class="toc"] , div p[class="releaseinfo"] {
  font-size : smaller;
  text-align : right
}