style="#00a000"/>
  <entry type="GenericOutput" style="#888888"/>
  <entry type="GenericPrompt" style="bold #c65d09"/>
  <entry type="GenericStrong" style="bold"/>
  <entry type="GenericSubheading" style="bold #800080"/>
  <entry type="GenericTraceback" style="#0044dd"/>
  <entry type="GenericUnderline" style="underline"/>
  <entry type="TextWhitespace" style="#bbbbbb"/>
</style>