robotframework
diff --git a/‎public/index.html
Lines changed: 2 additions & 23 deletions b/‎public/index.html
Lines changed: 2 additions & 23 deletions
diff --git a/‎public/robot-icon.svg
Lines changed: 15 additions & 0 deletions b/‎public/robot-icon.svg
Lines changed: 15 additions & 0 deletions
diff --git a/‎public/scripts/gh-pages-spa.js
Lines changed: 20 additions & 0 deletions b/‎public/scripts/gh-pages-spa.js
Lines changed: 20 additions & 0 deletions
diff --git a/‎public/stars-tag.js renamed to ‎public/scripts/stars-tag.js
Lines changed: 1 addition & 1 deletion b/‎public/stars-tag.js renamed to ‎public/scripts/stars-tag.js
Lines changed: 1 addition & 1 deletion
diff --git a/‎public/video/foundation.webm
16.4 MB b/‎public/video/foundation.webm
16.4 MB
diff --git a/‎public/video/foundation_compat.mp4
21 MB b/‎public/video/foundation_compat.mp4
21 MB
diff --git a/‎public/video/foundation_mobile.webm
8.82 MB b/‎public/video/foundation_mobile.webm
8.82 MB
diff --git a/‎public/video/foundation_mobile_compat.mp4
9.73 MB b/‎public/video/foundation_mobile_compat.mp4
9.73 MB
diff --git a/‎public/video/foundation_poster.webp
57.1 KB b/‎public/video/foundation_poster.webp
57.1 KB
diff --git a/‎src/assets/css/text.css
Lines changed: 0 additions & 1 deletion b/‎src/assets/css/text.css
Lines changed: 0 additions & 1 deletion
@@ -10,35 +10,14 @@
     <link rel="icon" href="<%= BASE_URL %>favicon.ico">
     <script defer data-domain="robotframework.org" src="https://plausible.io/js/plausible.outbound-links.js"></script>
     <script>window.plausible = window.plausible || function() { (window.plausible.q = window.plausible.q || []).push(arguments) }</script>
-    <script type="text/javascript">
-      // Single Page Apps for GitHub Pages
-      // MIT License
-      // https://github.com/rafgraph/spa-github-pages
-      // This script checks to see if a redirect is present in the query string,
-      // converts it back into the correct url and adds it to the
-      // browser's history using window.history.replaceState(...),
-      // which won't cause the browser to attempt to load the new url.
-      // When the single page app is loaded further down in this file,
-      // the correct url will be waiting in the browser's history for
-      // the single page app to route accordingly.
-      (function(l) {
-        if (l.search[1] === '/' ) {
-          var decoded = l.search.slice(1).split('&').map(function(s) { 
-            return s.replace(/~and~/g, '&')
-          }).join('?');
-          window.history.replaceState(null, null,
-              l.pathname.slice(0, -1) + decoded + l.hash
-          );
-        }
-      }(window.location))
-    </script>
+    <script defer src="/scripts/gh-pages-spa.js"></script>
+    <script defer src="/scripts/stars-tag.js"></script>
   </head>
   <body>
     <noscript>
       <strong>We're sorry but <%= htmlWebpackPlugin.options.title %> doesn't work properly without JavaScript enabled. Please enable it to continue.</strong>
     </noscript>
     <div id="app"></div>
     <!-- built files will be auto injected -->
-    <script defer src="/stars-tag.js"></script>
   </body>
 </html>
@@ -0,0 +1,20 @@
+// Single Page Apps for GitHub Pages
+// MIT License
+// https://github.com/rafgraph/spa-github-pages
+// This script checks to see if a redirect is present in the query string,
+// converts it back into the correct url and adds it to the
+// browser's history using window.history.replaceState(...),
+// which won't cause the browser to attempt to load the new url.
+// When the single page app is loaded further down in this file,
+// the correct url will be waiting in the browser's history for
+// the single page app to route accordingly.
+(function(l) {
+  if (l.search[1] === '/' ) {
+    var decoded = l.search.slice(1).split('&').map(function(s) {
+      return s.replace(/~and~/g, '&')
+    }).join('?');
+    window.history.replaceState(null, null,
+        l.pathname.slice(0, -1) + decoded + l.hash
+    );
+  }
+}(window.location))
@@ -118,7 +118,6 @@ p {
 
 p.lead {
     font-size: var(--type-large);
-    margin: var(--size-2xlarge) 0;
     font-family: var(--font-title);
     line-height: var(--line-height-lead);
 }
Original file line number	Diff line number	Diff line change
`@@ -118,7 +118,6 @@ p {`
`118`	`118`
`119`	`119`	`p.lead {`
`120`	`120`	`font-size: var(--type-large);`
`121`		`- margin: var(--size-2xlarge) 0;`
`122`	`121`	`font-family: var(--font-title);`
`123`	`122`	`line-height: var(--line-height-lead);`
`124`	`123`	`}`