Commit b7c8dbf6 authored by nachtgold's avatar nachtgold
Browse files

safari ide tweaked, global space reduced in the docs

parent 5f278572
...@@ -5,7 +5,7 @@ ...@@ -5,7 +5,7 @@
--- when it touches another snake with its head. --- when it touches another snake with its head.
--- ---
--- <h2>Lua global namespace</h2> --- <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 --- data persists until the bot dies. So the bot can save data from frame
--- to frame.</p> --- to frame.</p>
--- <p>The following Lua standard functions are allowed:</p> --- <p>The following Lua standard functions are allowed:</p>
......
...@@ -32,7 +32,7 @@ ...@@ -32,7 +32,7 @@
when it touches another snake with its head. when it touches another snake with its head.
<h2>Lua global namespace</h2> <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 data persists until the bot dies. So the bot can save data from frame
to frame.</p> to frame.</p>
<p>The following Lua standard functions are allowed:</p> <p>The following Lua standard functions are allowed:</p>
......
...@@ -160,3 +160,14 @@ div.modal>div>footer { ...@@ -160,3 +160,14 @@ div.modal>div>footer {
{ {
width:400px; text-align: left; 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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment