Merge pull request #715 from w3c/script-updates-may-2023

Script updates may 2023
w3c · Jul 6, 2023 · 829e558 · 829e558
2 parents 9ee9768 + cdb2660
commit 829e558
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 8 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
@@ -165,13 +165,14 @@ function addStatusMarkers() {
 
 			// Insert div after the first heading:
 	           */
-	           var p = document.createElement("p");
-	           p.setAttribute('class', 'addition status-filter sticky');
-	           p.setAttribute("title", statusLabels[status]);
-	           p.innerHTML = sentenceCase(status);
+	           var button = document.createElement("button");
+	           button.setAttribute('class', 'status-filter sticky');
+	           button.setAttribute("title", statusLabels[status]);
+	           button.setAttribute("type", "button");
+	           button.innerHTML = sentenceCase(status);
 
 			var wrapper = section.querySelector('.header-wrapper');
-			wrapper.appendChild(p);
+			section.insertBefore(button, wrapper);
 		})
 	});
 }
@@ -345,7 +346,7 @@ function moveStatusFilterToToc() {
 function preRespec() {
 	adjustDfnData();
 	addGuidelineMarkers();
-	linkHowTo();
+	//linkHowTo();
 	linkOutcome();
 	addCategoryMarkers();
 	addErrorMarkers();