plugins.css

/* ---- hscolour ----------------------------------------------------------- */

#rich-viewer pre {
  background       : #fff;
  padding          : 2em;
  border-top       : solid 2px #aaa;
  border-bottom    : solid 2px #aaa;
  margin-bottom   : 1em;
}

.varop,
.keyglyph {
  color            : #960;
}

.definition {
  color            : #005;
  font-weight      : bold;
}

.varid {
  color            : #444;
}

.keyword {
  font-weight      : bold;
}

.comment {
  color            : #44f;
}

.conid {
  color            : #000;
}

.num {
  color            : #00a;
}

.str {
  color            : #a00;
}

/* ---- latex formula ------------------------------------------------------ */

#rich-viewer img.formula {
  float            : none;
}

/* ---- table of contents -------------------------------------------------- */

#rich-viewer .toc {
  border-top       : solid 2px #fff;
  border-bottom    : solid 2px #fff;
  margin           : 3em;
  padding          : 1.4em;
}

#rich-viewer .toc h2 {
  padding-bottom   : 1em;
}

#rich-viewer .toc span {
  amargin-top       : -10;
  afloat            : right;
}