/* This is a CCS file. (X)Emacs views it like a -*- css -*- file ! */

body {
  color: #505050;
  background-color: #fff;
  font-family:  Verdana, "Lucida Sans", Arial, Helvetica, sans-serif ;
  font-size: 90%;
  width: 47em;
  margin: 1em auto;
}

div.toc {
  font-size: 0.9em;
}

.signature { 
  border-top: 1px solid;
  text-align: right;
}

.attention {
  float: right;
  width: 25em;
  margin: 0 0 1em 1em;
  padding: 1em;
  color: #505090;
  background-color: #eef;
  border: 1px solid;
}

p { 
  text-align: justify;
}

dt {
  margin: 0.4em 0;
  font-weight: bold;
}

dd {
  margin-left: 1em;
  text-align: justify;
}


ul, ol { 
  margin: 0;
  padding: 0;
  padding-left: 1em;
}

ul { 
  margin-left: 0em;
}

ol { 
  margin-left: 1em;
}

li {
  margin: 0;
  margin-left: 1em;
  text-align: justify;
  margin-top: 0.5em;
}

tt {
  color: #a00;
  font-family: "Courier New", Courier, monospace;
  /* font-size: 90%; */
}

code {
  color: #a00;
  font-family: "Courier New", Courier, monospace;
  /* font-size: 90%; */
}

code a:link, code a:visited, code a:hover,
a:link code,a:visited code,a:hover code  {
 color: #00a;
 font-family: "Courier New", Courier, monospace;
 text-decoration: underline;
}

code a:visited, a:visited code {
  color: #06f;
  font-family: "Courier New", Courier, monospace;
  text-decoration: underline;
}

pre {
  margin: 3px 0 0;
  border-left: 1px solid #aaa;
  border-right: 1px solid #aaa;
  background-color: #fff0e0;
  padding: 3px;
  color: #a00;
  font-family: "Courier New", Courier, monospace;
}

pre + pre {
  margin: 0;
}

pre a:link, a:link pre {
  color: #00a;
  font-family: "Courier New", Courier, monospace;
}

hr { 
  display: none;
}

h1, h2, h3, h4, h5, h6 {
  color: #559;
  background-color: #eef;

  font-family:  Verdana, Arial, Helvetica, sans-serif;
  padding-left: 10px;
  font-weight: bold;
  margin-left: -10px;
}

h1 {
  margin-top: 1em;
  padding: 3px 0 3px 5px;

  border-top-width: 3px;
  border-top-style: double;

  border-bottom-width: 3px;
  border-bottom-style: double;

  font-size: 1.5em;
  margin-left: -20px;
}

h2 {
  margin-top: 2em;
  padding: 2px 0 2px 5px;

  border-top-width: 1px;
  border-top-style: solid;

  border-bottom-width: 1px;
  border-bottom-style: solid;

  font-size: 1.3em;
  margin-left: -20px;
}

h3 {
  border-top-width: 1px;
  border-top-style: solid;

  font-size: 1.3em;
  font-weight: normal;
  font-style: italic;
}

h4 {
  font-size: 1.1em;
  font-weight: bold;
}


a:link {
 color: #00a;
}

a:visited {
 color: #06f;
}

a:active {
 color: #00f;
}

a[href]:hover {
  background-color: #eef;
}