Fix some highlighting issues.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 29 Jan 2019 14:45:37 +0000 (14:45 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 29 Jan 2019 14:45:37 +0000 (14:45 +0000)
2019-fosdem/6000-plugins.html
2019-fosdem/6200-floppy.html

index 80449d7..9ac977d 100644 (file)
@@ -7,6 +7,6 @@
 <script>
 plugins()
 
 <script>
 plugins()
 
-document.getElementById("plugins-floppy").classList.add("highlighted")
-document.getElementById("plugins-memory").classList.add("highlighted")
+document.getElementById("plugin-floppy").classList.add("highlighted")
+document.getElementById("plugin-memory").classList.add("highlighted")
 </script>
 </script>
index 08d7c9e..9440ca3 100644 (file)
@@ -11,5 +11,5 @@
 <script>
 plugins()
 
 <script>
 plugins()
 
-document.getElementById("plugins-floppy").classList.add("highlighted")
+document.getElementById("plugin-floppy").classList.add("highlighted")
 </script>
 </script>