Differences

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

--- sidebar [2017/12/01 14:50] – admin
+++ sidebar [2023/08/12 14:19] (current) – old revision restored (2023/08/12 14:16) admin
@@ Line 1: / Line 1: @@
-[[start|Main menu]]: \\ \\
+[[start|Main menu]] \\ \\
-{{wiki:basics.png?32}} \_ [[docs:basics|Basics]] \\
+[[docs:basics|{{wiki:basics.png?24}}]] \_ [[docs:basics|Basics]] \\
-{{wiki:faq.png?32}} \_ [[docs:faq|FAQ]] \\
+[[docs:faq|{{wiki:faq.png?24}}]] \_ [[docs:faq|FAQ]] \\
-{{wiki:user_guide.png?32}} \_ [[docs:user_guide|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>