/* $Id: main.css,v 1.12 2002/08/31 16:23:33 ss Exp $
 *
 * vim: tw=78 ts=8 sw=2 sts=2 ai si
 */


body {
  color:	black; 
  background:	#9999ff;
  /* background:	#7777cc url(src/bg.jpg) repeat fixed; */
  font-size:	1em;
  font-weight:  normal;
  word-spacing: normal;
  letter-spacing:	normal;
  text-transform: none;
}

/*
a:hover	{background-color: #eee}
a:visited {color: purple}
*/

a:link img, a:visited img {border-style: none}

pre {
  color:	black;
  background:	#ccccff;
  padding: .5em;
  font-family: monospace;
  margin-top:	.5em;
  margin-bottom:	.5em;
  margin-right: 1em;
  margin-left:  1em;
}

h1 {
  font-size:	1.75em;
  font-size-adjust:	.5;
  /* color: #666699;
  background: #ffffff; */
}

h2 {
  font-size:	1.50em;
  font-size-adjust:	.5;
  /* color: #770000;
  background: #ffffff; */
}

h3 {
  font-size:	1.20em;
  font-size-adjust:	.5;
}

table {
  color: black;
  background: white;
  border-color: black;
  border-width: 1pt;
  border-style: solid;
  margin-top: 1em;
  margin-right: 1em;
  margin-left: 1em;
}

caption {font-weight: 600}

table tr {
  color: black;
  background: #c0c0ff
}

table td {
  border: solid 1px #c0c0ff;
  color: black;
  background: white;
}

p {
  text-indent:  .5em;
  margin-top:	.5em;
  margin-bottom:	.5em;
  margin-right: 1em;
  margin-left:  1em;
}

div.section {
  color: black;
  background: white;
  margin-top: .5em;
  margin-bottom: .5em;
  margin-left: 2em;
  margin-right: 2em;
  padding:  .5em;
  border: solid 2px black;
}

div.subsection {
  color: black;
  background: white;
  padding: .5em;
  border: solid 2px #777777;
}

div.rpara {
  margin-top: 1em;
  margin-bottom: 1em;
  margin-right: 0em;
  margin-left: 1em;
  padding: .5em;
  text-align: right;
}

div.lpara {
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: 0em;
  margin-right: 1em;
  padding: .5em;
  text-align: left;
}

div.index {
  text-align: center;
  border: none;
}


code { font-family: monospace; }

em { font-weight: 600; }

ul.toc {list-style: none}
ul {list-style-type: circle}

ol { list-style-type: decimal}

address img {float: right}
address {
  margin-top: 1em;
  margin-bottom: 1em;
  margin-right: 1em;
  margin-left: 1em;
  padding-top: .5em;
  padding-right: 1em;
  padding-left: 1em;
  padding-bottom: .5em;
  clear: both;
}