/* -- file start -- */


/* major */
div.main.major h3  {
  margin-bottom: .5em;
}
div.main.major code  {
  color: #b70;
}
div.main.major samp  {
  color: green;
}
div.main.major .requirements  {
  font-style: italic;
}
div.main.major .note:before  {
  content: "Note: ";
  font-style: italic;
}
div.main.major .example  {
  margin: 1em auto;
  border: 1px solid #777;
  padding: .67em;
  overflow: auto;
  font-family: monospace;
  white-space: pre;
  color: #000;
  background-color: #ffffdb;
}
div.main.major var  {
  font-style: normal;
  color: #b00;
}
div.main.major .multipleFigure img  {
  float: left;
  border: 3px dashed black;
  margin: 1em auto 2em;
}
div.main.major .multipleFigure img + img  {
  margin-left: 2%;
}
div.main.major .multipleFigure:after  {
  display: block;
  content: "";
  clear: both;
}
div.main.major .singleFigure img + img  {
  margin: 1em auto;
}
div.main.major .singleFigure  {
  margin: 1.5em auto;
}
div.main.major .singleFigure img, .multipleFigure img  {
  border: 2px dashed black;
}
div.main.major ul  {
  list-style-type: circle;
}


/* minor */
div.eyecatch  { 
  float: right;
  width: 30%;			/* work-around for bug in FF2.0. should be max-width */
}
div.eyecatch img  { 
  width: 100%;
  border-style: solid;
  border-width: 2px;
  border-color: #f9f9f9 #3e4e7f #424242 #e5edff;   /* alternative: #ff and #e6 */
  padding: 3%;
}


/* -- file end -- */