Use w3c/spec-prod (w3c#1648)

SHA: 2994798
Reason: push, by @pkra

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

common/css/common.css

@@ -1,8 +1,4 @@
 
-* { 
-	/* add default line-height so different fonts don't affect the rhythm of line-box height */
-	line-height:1.2; /* [sic] unitless multiplier, not EM size */
-}
 ol{ list-style:decimal; }
 ol ol{ list-style:upper-alpha; }
 ol ol ol{ list-style:lower-roman; }
@@ -47,6 +43,7 @@ ol ol ol ol{ list-style:lower-alpha; }
 .role-required-properties ul,
 .role-properties ul,
 .role-inherited ul,
+.role-disallowed ul,
 .role-namefrom ul,
 .state-value ul, .state-related ul,
 .state-applicability ul,
@@ -164,7 +161,6 @@ pre .comment, code .comment, code.comment, .comment .str, .comment .tag{
 	background-color: #9f6;
 }
 */
-.role-reference, .state-reference, .property-reference, .widget-reference, .design-pattern-reference {}
 .termref, a.termref:link {
 	color:#006400;
 	text-decoration:none;
@@ -235,14 +231,11 @@ dl.compact dd {
 	font-weight: bold;
 	text-transform: uppercase;
 }
-.tocnum {}
-.section {}
 .todo {
 	background-color:#f99;
 }
 .issue {
 	background-color:#0c0;
-	text-transform:uppercase;
 }
 abbr.symbol {
 	border-bottom:none;
@@ -253,7 +246,9 @@ abbr.symbol {
 	font-weight: bold; 
 	color: #ff4500 !important;
 }
-.property-reference, .role-reference, .state-reference { font-family: monospace; }
+
+/* prevent <dt> from butting up against previous <dd> in .termlist (terms.html) */
+.termlist dt {margin-top: 1em;}