status filter style

w3c · Jul 6, 2023 · 5d49281 · 5d49281
1 parent bdec72b
commit 5d49281
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/guidelines/guidelines.css b/guidelines/guidelines.css
@@ -153,12 +153,12 @@ caption {
 a[href].status-link {
 	color: var(--text);
 }
-p.status-filter 
+.status-filter 
 {
-	display: inline-block;
 	float: right;
 	border: thin solid #005A9C;
 	border-radius: 1ex;
+	padding: 1ex;
 	cursor: help;
 	text-indent: 0px;
 	font-weight: bolder;

diff --git a/guidelines/guidelines.js b/guidelines/guidelines.js
@@ -166,7 +166,7 @@ function addStatusMarkers() {
 			// Insert div after the first heading:
 	           */
 	           var button = document.createElement("button");
-	           button.setAttribute('class', 'addition status-filter sticky');
+	           button.setAttribute('class', 'status-filter sticky');
 	           button.setAttribute("title", statusLabels[status]);
 	           button.setAttribute("type", "button");
 	           button.innerHTML = sentenceCase(status);