/* topic and descrpar sections */

h3.topic, h3.descrpar {
  font-size: 1.12em;
  border-width: 1px;
  border-style: solid;
  border-color: transparent;
  padding-left:   0.3em;
  padding-right:  0.3em;
  padding-top:    0.3ex;
  padding-bottom: 0.3ex;
}

/*
h3.topic:hover, h3.descrpar:hover {
  color:#c80000;
  background-color: #f8fcc8;
  border:1px solid  #c80000;
}
*/

table.topic, table.descrpar {
  margin-left: 5%;
  width: 95%;
}

p.descrpar {
  text-align:right;
}

table.descr {
  border-width: 0px;
  border-style: solid;
  border-color: blue;
  margin-left: auto;
  margin-right: 0;
  width: 100%;
}

table.descr tr th {
  border-width:0px ;
  border-style:solid ;
  border-color:red;
  text-align:left;
  vertical-align:top;
  width:30%;
  /* color:#c80000; */
  font-weight:bold;
}

table.descr tr th div {
  border-width: 1px;
  border-style: solid;
  border-color: transparent;
  padding-left:0.3em;
  padding-right:0.3em;
  padding-top:0.3ex;
  padding-bottom:0.3ex;
}

/* grey background boxes */

div.grey-background, span.grey-background, pre.grey-background, code.grey-background {
  background-color: #dddddd;
}

div.grey-background, span.grey-background, pre.grey-background {
  border-width: 3px;
  border-style: solid;
  border-color: #bbbbbb;
  padding: 1em;
}

div.grey-background {
  margin-top:1ex;
  margin-bottom:1ex;
  margin-right:7%;
}

/*
div.grey-background:hover {
  background-color: #f8fcc8;
  border-width: 3px;
  border-style: solid;
  border-color: #c80000;
}
*/

pre.grey-background {
  margin-right:10%;
}

code.grey-background {
  font-weight:bold;
}

/* program listings */

div.pre {
  font-family: monospace;
  width: 100%;
  white-space: pre;
  border-width: 1px;
  border-style: solid;
  border-color: transparent;
  padding-left: 0.3em;
}

/*
div.pre:hover {
  background-color:#ddddff;
  color:#c80000;
  border: 1px solid #c80000;
}
*/

/* color highlighting for source code */

.keyword		{ color:#3070A0; font-family:monospace; font-weight:bold; }
.typekeyword		{ color:#3070A0; font-family:monospace; font-weight:bold; }
.strconst		{ color:#228B22; font-family:monospace; }
.labelname		{ color:#FF00FF; font-family:monospace; font-weight:bold; }
.cppcommand		{ color:#0000CD; font-family:monospace; }
.specialword		{ color:#c80000; font-family:monospace; }
.classname		{ color:#8B2323; font-family:monospace; }
.comment		{ color:#00008B; font-family:monospace; }
.bnfnt			{ color:#0000CD; font-family:monospace; }
.bnfmeta		{ color:#ff0000; font-family:monospace; font-weight:bold; }
.bnfterminal		{ color:#008800; font-family:monospace; font-weight:bold; }
.tclproc		{ color:#FF6000; font-family:monospace; }
.tclvar			{ color:#0000CD; font-family:monospace; }
.tclcomment		{ color:#c80000; font-family:monospace; }

/* twocolumn table */

table.twocolumn {
  /* width: 100%; */
  border-width:0px ;
  border-style:solid ;
  border-color:transparent;
}

table.twocolumn tr td {
  /* width: 48%; */
  text-align: left;
  vertical-align: top;
}

table.twocolumn tr td.leftcolumn {
  padding-right: 1%;
}

table.twocolumn tr td.rightcolumn {
  padding-left: 1%;
}

.validxhtml {
  text-align: right;
}