Removed a 'font-family: inherit' which wasn't used. Replaced the big

red block before each issue with a simple red bullet.

Author: bert-github

default.css

@@ -31,7 +31,7 @@
 body {counter-reset: exampleno figure}
 
 /* Pagination */
-h1, h2, h3, h4, h5, h6 { page-break-after: avoid; font-family: inherit }
+h1, h2, h3, h4, h5, h6 { page-break-after: avoid }
 div.figure, div.sidefigure, pre, table.propdef, table.propdef-extra,
 div.example { page-break-inside: avoid }
 dt { page-break-after: avoid }
@@ -176,15 +176,8 @@ dfn { font-weight: bolder; /*font-size: 1em*/ }
 /* Open issue / editorial remark; not intended for a final publication */
 
 .issue { color: #c00 }
-.issue:before {
-  content: "Issue:";
-  border: 3px double #c00;
-  background: #c00;
-  background-clip: padding-box;
-  color: white;
-  margin-right: 0.25em;
-  padding: 0 0.25em;
-}
+.issue:before {content: "\25CF  "}
+div.issue:before {display: run-in}
 
 /* Class note is a non-normative note. May be inline or a P or DIV */
 .note {