body {
  line-height: 1.5em;
  font-size: 1em;
  color: #111;
  background-color: #fffefc;
  /*background-image: url(img/bg_glider.png);
  background-attachment: fixed;*/
  /* top, right, bottom, left */
  margin: 0 5% 0 10%;
  padding: 0;
}

table {
  font-size: 1em;
  line-height: 1.5em;
}

table caption {
  color: #003366;
  background-color: transparent;
  font-weight: bold;
}

h1, h2, h3, h4, h5, h6, dt {
  font-family: Tahoma, Verdana, Syntax, sans-serif;
  font-size-adjust: .55;
  font-weight: bold;
  color: #036;
  background-color: white;
  line-height: 1.5em;
  text-decoration: none;
  border-bottom: 1px solid black;
}

h1 {
  font-size: 1.7em;
  font-style: normal;
  margin-top: 3%;
  margin-left: -7%;
  padding-left: 1%;
  border-bottom: 1px solid black;
}

h2 {
  font-size: 1.6em;
  font-style: normal;
  margin-left: -5%;
  padding-left: 1%;
}

h3 {
  font-size: 1.5em;
  font-style: italic;
  margin-left: -3%;
  margin-top: 5%;
  padding-left: 1%;
}

h4 {
  font-size: 1.4em;
  font-style: normal;
  margin-left: -2%;
  margin-top: 4%;
  padding-left: 1%;
}

h5 {
  font-size: 1.3em;
  font-style: normal;
  margin-top: 4%;
  margin-left: -1%;
  padding-left: 0;
}

h6, dt {
  margin-top: 3%;
  margin-left: 0;
  padding-left: 1%;
  font-size: 1.15em;
  font-style: normal;
}


h1 a, h2 a, h3 a {
  text-decoration: none;
}

div.center {
  text-align: center;
}

div.center table {
  margin-left: auto;
  margin-right: auto;
  text-align: left;
}

#content {
  margin: 0 15em 0 0;
}

#menu {
  position: fixed;
  float: right;
  right: 2em;
  top: 7em;
  text-align: left;
  padding: 0 0.1em 0 0;
  background: #deebf7;
  border: 1px solid black;
}

body>#menu {
  margin-right: 0;
}

#menu a {
  margin-left: 1em;
  display: block;
}

#menu .head {
  font-weight: bold;
  margin-top: 0.5em;
  margin-bottom: 0.2em;
  margin-left: 0em;
  text-align: left;
  text-indent: 0.2em;
  background: #bcd;
  width: 100%;
  padding: 0;
  border: none;
  }

.hideme {
  display: none;
}

pre.code {
  background: #f4f4f4;
  color: #002255;
  border-top: 1px solid #c0c0c0;
  border-bottom: 1px solid #c0c0c0;
  padding: 0 3% 0 3%;
}

div.form {
  background: #f0f0f0;
  color: black;
  padding: 10px;
  width: 97%;
  margin: 1% 0% 0% -2%;
  /*/*/
  border: 1px solid black;
  /* */
}

p.center {
  color: black;
  background: #eeeeee;
  text-align: center;
}

p.indent {
  text-indent: 2%;
}

p.msg2usr {
  color: #060;
  background-color: white;
  font-weight: bold;
  border-top: 1px solid #090;
  border-bottom: 1px solid #090;
  padding-left: 1%;
  padding-top: 0.5%;
  padding-bottom: 0.5%;
}
p.msg2usr:before {
  content: url(/~manfear/img/arrow-left-xsmall.png) ' ';
}

p.bugreport-link {
  float: right;
  color: #e0e0e0;
  background-color: transparent;
  font-variant: small-caps;
  font-size: 0.9em;
}
p.bugreport-link:before {
  content: '[';
}
p.bugreport-link:after {
  content: ']';
}
p.bugreport-link a {
  /*/*/
  border: 2px solid #e0e0e0;
  /* */
  padding-left: 2%;
  padding-right: 2%;
}

pre {
  color: #002255;
  background-color: transparent;
}

code {
  font-weight: bold;
  font-size-adjust: 0.5;
  color: #014;
  background-color: transparent;
  white-space: pre;
}

th {
  background: #006699;
  color: white;
  border: 1px solid black;
  font-size: 11pt;
  font-weight: bold;
}
th.normal {
  color: black;
  background-color: white;
}
th.normal:hover {
  border: 1px solid white;
}

ul.mainpage {
  margin-right: 10%;
  padding: 1em;
  border-right: 1px solid silver;
  border-bottom: 1px solid silver;
  list-style-image: url(img/bullet_glider.png);
}

textarea.nowrap {
  font-size: 20px;
}


img {
  border-width: 0;
}

img.blue {
  color: #006699;
  background: #004477;
  vertical-align: middle;
}


a:link {
  color: #036;
  background: transparent;
}
a.ext:after {
  content: ' ' url(/~manfear/img/link-ext.png);
}
a:visited {
  color: #707;
  background: transparent;
}
a:active {
  color: red;
  background: transparent;
}

a:hover {
  color: black;
  background: yellow;
  text-decoration: none;
}

a img {
  color: white;
  background-color: transparent;
  border: 0 none;
}

a:hover img {
  background: white;
  color: #fefefe;
}

a:hover img.blue {
  background: #010101;
  color: #006699;
}

acronym, abbr {
  border-bottom: 1px dashed #c0c0c0;
  cursor: help;
}

span[title] {
  border-bottom: 1px dashed #c0c0c0;
  cursor: help;
}

.bracket, .blindout {
  color: #b0b0b0;
  background-color: transparent;
}


/* match text and password fields */
input[type=text], input[type=password] {
  font-family: "courier new", courier, monospace;
}

input[type=text], input[type=password],
textarea.input, select {
  color: black;
  background-color: #f0f0f0;
}

/* match submit and custom buttons */
input[type=submit], input[type=button] {
  color: white;
  background-color: #080;
  font-weight: bold;
}

/* match reset buttons */
input[type=reset] {
  color: white;
  background-color: #cc0000;
  margin-left: 10%;
}

/* match disabled elements */
input[disabled], input[disabled]:hover {
  color: #a0a0a0;
  background-color: #e0e0e0;
}

textarea:focus, input:focus, select:focus {
  color: black;
  background-color: #ffd;
}

textarea.input {
  padding: 2px;
}

textarea.output {
  color: black;
  background-color: #eec;
  padding: 2px;
  /*/*/
  border: 2px solid #006699;
  /* */
}

.accesskey {
  font-weight: bold;
  text-decoration: underline;
}


.middle {
  vertical-align: middle;
}

div.decor-top {
  margin-top: 0%;
  margin-left: -6%;
  margin-right: -3%;
  border-right: 1px solid #303030;
  border-bottom: 1px solid #303030;
  border-left: 1px solid #303030;
  border-top: none;
}

.navbox {
  color: black;
  background-color: #eeeeee;
  font-size: 1em;
  font-weight: bold;
  text-align: left;
  padding-left: 2%;
  border: 1px solid black;
}

div.decor-top .navbox {
  margin-left: 3%;
  margin-right: 3%;
  /*/*/
  position: relative;
  /* */
  top: 0.8em;
}

#nav-submenu {
  position: relative;
  float: right;
  right: 0;
  top: 0;
}

div.decor-bot {
  margin: 10% -3% 0% -6%;
  border: 1px solid #303030;
}

address#footer img {
  float: right;
  position: relative;
}

address#footer {
  color: #006699;
  background-color: #eee;
  font-size: 0.85em;
  clear: right;
  padding: 0.5%;
  border: 1px solid black;
}

div.decor-bot address#footer {
  margin-left: 3%;
  margin-right: 3%;
  position: relative;
  bottom: 1.5em;
}


.srcbox {
  background: #f3f3f3;
  color: black;
  border: 1px solid black;
  padding-left: 10px;
}

.linksbox {
  background: #eeeeee;
  color: black;
  font-size: 1em;
  font-weight: normal;
  text-align: left;
  padding-left: 10px;
  border: 1px solid black;
}

.box {
  background: #f6f6f6;
  color: black;
  padding-left: 1em;
  border: 1px solid black;
}

.invalid {
  color: red;
  background-color: transparent;
  font-weight: bold;
}
.valid {
  color: #090;
  background-color: transparent;
  font-weight: bold;
}


.vip {
  color: red;
  background: transparent;
}

em {
  font-size: 1.1em;
}

div.question, p.question {
  border: 1px solid #000099;
  margin-top: 0.8em;
}

div.answer, div.example,
p.answer, p.example,
div.note, p.note {
  border-right: 1px solid #009900;
  border-bottom: 1px solid #009900;
}

div.question .key, p.question .key,
div.answer .key, p.answer .key,
div.example .key, p.example .key,
div.note .key, p.note .key {
  font-weight: bold;
  font-variant: small-caps;
  color: white;
  padding: 3px;
}

div.question .key, p.question .key  {
  background-color: #000099;
}

div.answer .key, div.example .key,
p.answer .key, p.example .key,
div.note .key, p.note .key {
  background-color: #009900;
}


.question {
  cursor: help;
}

.code {
  font-family: "courier new", courier, monospace;
}

.date {
  color: #004477;
  background: transparent;
  font-style: italic;
}

.number {
  color: #006600;
  background: transparent;
  font-weight: bold;
}

.antique {
  font-family: 'Book Antiqua', Georgia, sans-serif;
  font-size-adjust: 0.60;
}


.comment {
  color: #333;
  background: transparent;
  font-size: 1em;
  padding-left: 1%;
}
p.comment:before {
  content: url(/~manfear/img/arrow-left-xsmall.png) ' ';
}

div.comment, p.comment {
  border-top: 1px solid #c0c0c0;
  border-bottom: 1px solid #c0c0c0;
}

.instruction {
  color: #333;
  background-color: transparent;
  font-variant: small-caps;
}
.instruction:before {
  content: url(/~manfear/img/arrow-left-xsmall.png) ' [';
}
.instruction:after {
  content: ']';
}
.vipN {
	color: #000000;
	background-color: #c0ff00;
	font-size: 11pt;
	font-weight: bold;
	text-align: center;
}

.row1 {
  color: #000000;
  background-color: #ffffff;
  font-size: 9pt;
  font-weight: normal;
  text-align: center;

}

.row2 {
	color: #000000;
	background-color: #e5e5e5;
	font-size: 9pt;
	font-weight: normal;
	text-align: center;
}

tr.row1:hover, tr.row2:hover {
  color: black;
  background-color: #ff9;
}

td.valid {
  background-color: #ffc;
  color: #060;
  border: thin solid #037507;
  font-weight: bold;
  text-align: center;
}
td.invalid {
  background-color: white;
  color: #db2b00;
  border: thin solid #db2b00;
  font-weight: bold;
  text-align: center;
}
td.depends {
  background-color: #fcfcfc;
  color: #404040;
  border: thin solid #404040;
  font-weight: bold;
  text-align: center;
}

td.valid a, td.invalid a, td.depends a {
  background-color: transparent;
  color: black;
}

math {
  font-size: 1.1em;
}
