[css-syntax] Tweak table styling.

Author: SimonSapin

css-syntax/Overview.html

@@ -4476,7 +4476,7 @@ <h2 class="heading settled heading" data-level=9 id=serialization><span class=se
 			#serialization-tables table { margin: 1em 0 }
 			#serialization-tables table { border-collapse: collapse }
 			#serialization-tables tr:nth-child(even) { background: rgba(0, 0, 0, .1) }
-			#serialization-tables th { padding: .2em .5em; line-height: 1.1 }
+			#serialization-tables th { padding: .2em .5em; line-height: 1.1; font-size: 90% }
 			#serialization-tables th, td { text-align: center }
 		</style>
 
@@ -4506,12 +4506,12 @@ <h2 class="heading settled heading" data-level=9 id=serialization><span class=se
 				<th>ident</th>
 				<th>function</th>
 				<th>url</th>
-				<th>bad-url</th>
+				<th>bad url</th>
 				<th>-</th>
 				<th>number</th>
 				<th>percentage</th>
 				<th>dimension</th>
-				<th>unicode-range</th>
+				<th>unicode range</th>
 				<th>CDC</th>
 				<th>(</th>
 			</tr>
@@ -4628,7 +4628,7 @@ <h2 class="heading settled heading" data-level=9 id=serialization><span class=se
 				<td></td>
 			</tr>
 			<tr>
-				<th>unicode-range</th>
+				<th>unicode range</th>
 				<td>✓</td>
 				<td>✓</td>
 				<td></td>

css-syntax/Overview.src.html

@@ -3000,7 +3000,7 @@ <h2 id="serialization">
 			#serialization-tables table { margin: 1em 0 }
 			#serialization-tables table { border-collapse: collapse }
 			#serialization-tables tr:nth-child(even) { background: rgba(0, 0, 0, .1) }
-			#serialization-tables th { padding: .2em .5em; line-height: 1.1 }
+			#serialization-tables th { padding: .2em .5em; line-height: 1.1; font-size: 90% }
 			#serialization-tables th, td { text-align: center }
 		</style>
 
@@ -3010,12 +3010,12 @@ <h2 id="serialization">
 				<th>ident</th>
 				<th>function</th>
 				<th>url</th>
-				<th>bad-url</th>
+				<th>bad url</th>
 				<th>-</th>
 				<th>number</th>
 				<th>percentage</th>
 				<th>dimension</th>
-				<th>unicode-range</th>
+				<th>unicode range</th>
 				<th>CDC</th>
 				<th>(</th>
 			</tr>
@@ -3132,7 +3132,7 @@ <h2 id="serialization">
 				<td></td>
 			</tr>
 			<tr>
-				<th>unicode-range</th>
+				<th>unicode range</th>
 				<td>✓</td>
 				<td>✓</td>
 				<td></td>