Merge branch 'persistent-syntax-selection' into 'dev'

Persistent syntax selection

See merge request ligolang/ligo!478

gitlab-pages/website/src/theme/DocPage/index.js

@@ -59,7 +59,10 @@ function DocPage(props) {
                 sidebar={sidebar}
                 sidebarCollapsible={sidebarCollapsible}
                 syntax={syntax}
-                onSyntaxChange={l => setSyntax(l)}
+                onSyntaxChange={l => {
+                  localStorage.setItem('syntax', l);
+                  setSyntax(l)
+                }}
               />
             </div>
           )}