Proposed change for Focus Navigation

assets/styles/respec-complement.css

@@ -43,3 +43,48 @@ div.algorithm {
     opacity:0.8;
     text-align:right;
 }
+
+var {
+    font-size: 0.8em;
+    color: #005A9C;
+    font-style: normal;
+}
+
+/*
+ * From https://resources.whatwg.org/standard.css
+ * Styles used in https://resources.whatwg.org/dfn.js
+ */
+body.dfnEnabled dfn { cursor: pointer; }
+.dfnPanel {
+  display: inline;
+  position: absolute;
+  z-index: 35;
+  height: auto;
+  width: auto;
+  padding: 0.5em 0.75em;
+  font: small Helvetica Neue, sans-serif, Droid Sans Fallback;
+  background: #DDDDDD;
+  color: black;
+  border: outset 0.2em;
+}
+.dfnPanel * { margin: 0; padding: 0; font: inherit; text-indent: 0; }
+.dfnPanel :link, .dfnPanel :visited { color: black; }
+.dfnPanel p:not(.spec-link) { font-weight: bolder; }
+.dfnPanel * + p { margin-top: 0.25em; }
+.dfnPanel li { list-style-position: inside; }
+
+/* Additional fixes */
+.dfnPanel a[href] { border-bottom: none; }
+.dfnPanel a[href]:hover { border-bottom: 1px solid #707070; }
+
+/*
+ * From https://resources.whatwg.org/standard.css
+ */
+.brief { margin-top: 1em; margin-bottom: 1em; line-height: 1.1; }
+.brief > li { margin: 0; padding: 0; }
+.brief > li > p, .brief > li > ol, .brief > li > ul, .brief > li > dl {
+  margin-top: 0;
+  margin-bottom: 0;
+  padding-top: 0;
+  padding-bottom: 0;
+}