Differences

This shows you the differences between two versions of the page.

--- sidebar [2017/12/01 13:48] – created admin
+++ sidebar [2020/08/05 15:25] – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
-**Main menu:**
+[[start|Main menu]] \\ \\
-Basics
+[[docs:basics|{{wiki:basics.png?24}}]] \_ [[docs:basics|Basics]] \\
-FAQ
+[[docs:faq|{{wiki:faq.png?24}}]] \_ [[docs:faq|FAQ]] \\
-User Guide
+[[docs:user_guide|{{wiki:user_guide.png?24}}]] \_ [[docs:user_guide|User Guide]] \\
+\\
+<html>
+<div id="google_translate_element"></div>
+<script type="text/javascript">
+function googleTranslateElementInit() {
+  new google.translate.TranslateElement({pageLanguage: 'en', layout: google.translate.TranslateElement.InlineLayout.SIMPLE}, 'google_translate_element');
+}
+</script><script type="text/javascript" src="//translate.google.com/translate_a/element.js?cb=googleTranslateElementInit"></script>
+</html>