}
.doc-augments .panel-body pre {
margin: 0;
+}
+pre code {
+ color: #000;
+ font-family: monospace; /** default font is too soft.. */
+}
+.doc-not-member {
+ background-color: #fcf8e3;
+
+}
+ code.jsdoc-pretty {
+ background-color: #fff;
}
\ No newline at end of file