Update index.html (jgrapht#732)

corrected website menu rendering problem on mobile
omerb4 · Dec 25, 2018 · a42c7c2 · a42c7c2
1 parent 2bfd355
commit a42c7c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/index.html b/docs/index.html
@@ -4,7 +4,7 @@
 <html dir="ltr" lang="en">
 <head>
   <meta charset="UTF-8" />
-  <meta name="viewport" content="width=device-width, initial-scale=1">
+  <meta name="viewport" content="width=device-width, initial-scale=1.0, minimum-scale=1.0" />
   <title>{{ site.title }}</title>
 	<meta name="keywords" content="{{ site.keywords }}">
 	<meta name="description" content="{{ site.description }}">