@import url('common.css');
/* Do NOT write anything before @import, or strange things will happen */


img#bigpic {
  margin: 11px 4px 1px 40px;
  float: right;
}

#pricing {
  position: relative;
  width: 75%;
  margin-left: auto;
  margin-right: auto;
  padding: 8px;
  border: 1px solid #994444;
  margin-top: 28px;
}

#pricing td {
  padding: 16px 28px 8px 8px;
  text-align: center;
}

#pricing th {
  padding: 3px 28px 3px 3px;
  color: #994444;
  font-size: 90%;
  text-align: center;
}

#pricing .rowlabel {
  text-align: right;
  font-weight: bold; 
}

p.hdr {
  font-size: 104%;
  left: -18px;
  position: relative;
}

.textarea h4 {
  color: #8c325c;
  margin-top: 1em;
  margin-bottom: .5em;
  margin-left: 20px;
}

.textarea h5 {
  /* color: #8c325c; */
  margin-top: 1em;
  margin-bottom: .5em;
  margin-left: 25px;
}

.textarea p {
  margin-left: 40px;
  margin-right: 40px;
  line-height: 23px;
  margin-bottom: 7px;
  font-style: normal;
  font-weight: normal;
}

.textarea b {
  font-size: 100%;
  color: #000000;
  font-style: normal;
  font-weight: normal;
}

.textarea ul {
  margin-left: 75px;
  margin-top: 0px;
  padding: 0;
  line-height: 19px;
  margin-right: 75px;
  font-style: normal;
  font-weight: normal;
}

.textarea ol {
  margin-left: 75px;
  margin-top: 0px;
  padding: 0;
  line-height: 19px;
  margin-right: 75px;
  font-style: normal;
  font-weight: normal;
}

.textarea .question {
  margin-top: 1em;
}

.textarea .answer {
  font-family: Georgia, serif;
  font-style: normal;
  font-weight: normal;
  margin-right: 75px;
  margin-left: 70px;
  padding: 0;
}

.textarea ul.answer {
  font-family: Georgia, serif;
  font-style: normal;
  font-weight: normal;
  margin-right: 75px;
  margin-left: 85px;
  padding: 0;
  line-height: 23px;
}

.codeexample {
  background: #ffeeee;
  width: 90%;
  margin-right: auto;
  margin-left: 40px;
  white-space: pre;
  font-family: monospace;
  font-size: 85%;
}

.errexample {
  font-style: normal;
  font-weight: normal;
  width: 80%;

  border-left: 8px solid #9999bb;

  margin-right: auto;
  margin-left: 65px;
  margin-bottom: 1em;
}

.link2src {
  position: absolute;
  font-size: 100%;
  left: 520px;
  width: 200px;
  padding: 0;
  text-align: right;
  margin-left: 0;
  margin-right: 0;
}

.textarea dl {
  margin-left: 75px;
  width: 650px;
}

.textarea dt {
  font-size: 105%;
  color: #000000;
  font-style: normal;
  font-weight: normal;
}

.textarea dd {
  margin-left: 15px;
}

table.rdblist {
  font-style: normal;
  font-weight: normal;
  margin-right: 40px;
  margin-left: 65px;
  padding: 8px; 
}

table.rdblist td {
  padding: 8px;
}
table.rdblist2 {
  font-style: normal;
  font-weight: normal;
  margin-right: 40px;
  margin-left: 45px;
  padding: 8px; 
}

table.rdblist2 td {
  padding: 8px;
}