Merge pull request #1798 from lukaslueg/relabel

Relabel grammarRailroad-Button

Author: ehuss

src/notation.md

@@ -40,11 +40,11 @@ When such a string in `monospace` font occurs inside the grammar,
 it is an implicit reference to a single member of such a string table
 production. See [tokens] for more information.
 
-## Railroad visualizations
+## Grammar visualizations
 
-Below each grammar block is a button to toggle the display of a [railroad diagram]. A square element is a non-terminal rule, and a rounded rectangle is a terminal.
+Below each grammar block is a button to toggle the display of a [syntax diagram]. A square element is a non-terminal rule, and a rounded rectangle is a terminal.
 
-[railroad diagram]: https://en.wikipedia.org/wiki/Syntax_diagram
+[syntax diagram]: https://en.wikipedia.org/wiki/Syntax_diagram
 
 ## Common productions
 

theme/reference.css

@@ -627,7 +627,7 @@ main > .rule {
 
 /* The toggle button. */
 .grammar-toggle-railroad {
-    width: 120px;
+    width: 160px;
     padding: 5px 0px;
     border-radius: 5px;
     cursor: pointer;

theme/reference.js

@@ -66,9 +66,9 @@ function update_railroad() {
     const buttons = document.querySelectorAll('.grammar-toggle-railroad');
     buttons.forEach(button => {
         if (grammarRailroad) {
-            button.innerText = "Hide Railroad";
+            button.innerText = "Hide syntax diagram";
         } else {
-            button.innerText = "Show Railroad";
+            button.innerText = "Show syntax diagram";
         }
     });
 }