/* basic style sheet of JavaScript Tips document */
.none { display:none; }
H3.theme {
  margin:0em 0em 0em 0em;
  font-size:1.2em; font-weight:600;
  border-width:0.1em 0.3em 0.1em 0.3em;
  border-style:solid;
  border-color:#3366aa;
  background-color:#3366aa;
  color:#eeeeff;
}
P.term {
  margin      :1em   0em   1em   0em;
  padding     :0.2em 0.2em 0.2em 0.2em;
  border-width:0.1em 0.3em 0.1em 0.3em;
  border-style:solid;
  border-color:#aa6633;
  background-color:#aa6633;
  font-weight:600;
  color:#eeeeff;
  text-align:right;
}
P.intro {
  text-indent:1em;
}
.desc { margin-left:2em; }
P.desc {
  margin-left:2em;
  text-indent:1em;
}
P.desc-cont {
  margin-left:2em;
}
DL.desc {
  margin-left:2em;
}
SPAN.comment {
  color:#6666ff;
}
DIV.sample{
  margin:0px 1em 0px 2em;
  border:1px solid #3399cc;
  padding:0.5em 0.5em 0.5em 0.5em;
  background-color:#eeeeee;
}
PRE.sample {
  font-size:0.9em;
  color:#3366ff;
}