Merge branch 'branch/docs' into 'master'

safari ide tweaked, global space reduced in the docs

See merge request GPN18Programmierspiel/website!9

docs/lua/sample.lua

@@ -5,7 +5,7 @@
 --- when it touches another snake with its head.
 --- 
 --- <h2>Lua global namespace</h2>
---- <p>Every snake is allowed to store 100MB within the global namespace and the 
+--- <p>Every snake is allowed to store 10MB within the global namespace and the 
 --- data persists until the bot dies. So the bot can save data from frame 
 --- to frame.</p>
 --- <p>The following Lua standard functions are allowed:</p>

docs/templates/docs/docs.html

@@ -32,7 +32,7 @@
  when it touches another snake with its head.
 
  <h2>Lua global namespace</h2>
- <p>Every snake is allowed to store 100MB within the global namespace and the
+ <p>Every snake is allowed to store 10MB within the global namespace and the
  data persists until the bot dies. So the bot can save data from frame
  to frame.</p>
  <p>The following Lua standard functions are allowed:</p>

ide/static/ide/ide.css

@@ -160,3 +160,14 @@ div.modal>div>footer {
 {
     width:400px; text-align: left;
 }
+
+/* safari hack against grid layout bugs */
+/* https://stackoverflow.com/questions/16348489 */
+@media not all and (min-resolution:.001dpcm) {
+    @supports (-webkit-appearance:none) and (stroke-color:transparent) {
+        #ide {
+            height: 87vh;
+            width: 98vw;
+        }
+    }
+}
\ No newline at end of file