@import "../Standard.css";

/* Applies to: all "CODE" elements.
   Used for: in-line references to source code examples. */
CODE
{
  font-weight: bold;
  font-family: monospace;
  font-size: 100%;
}

/* Applies to: all text within a "DIV" element which has a "CLASS" attribute of "Code".
   Used for: blocks of example source code. */
DIV.Code {
  font-weight: bold;
  font-family: monospace;
  font-size: 90%;
}

/* Applies to: all "B" elements within a "DIV" element which has a "CLASS" attribute of "Code".
   Used for: source code symbols. */
DIV.Code B
{
  font-weight: normal;
}

/* Applies to: all "I" elements within a "DIV" element which has a "CLASS" attribute of "Code".
   Used for: abstract names. */
DIV.Code I
{
  font-weight: normal;
  font-style: italic;
  font-family: sans-serif;
  font-size: 90%;
}

/* Applies to: all text within a "DIV" element which has a "CLASS" attribute of "Indent"that's
     within a "DIV" element which has a "CLASS" attribute of "Code".
   Used for: indented source code. */
DIV.Code DIV.Indent {
  margin-left: 1.0em;
}