GitLab

- Let the browser choose size by default
- Bypass Reveal for explain configuration

1. Makes it much easier to pass values from Decker meta data to the
RevealJs configuration (or any other Javascript code).
2. Allows access to the language dictionary from JavaScript.

Only used for the 'controls' option to test it.

This reverts commit 90e88787.

I identified three files that have changes that should probabaly not be
there:

1. resource/support/css/engine.css
2. resource/support/css/mario-page.css
3. resource/support/css/mario.css

Changes to 2 and 3 seem to come from commits that henrik seems to have
made unintentionally 5-7 month ago by reformatting the files while
looking at them. At at a few lines, some changes during fiddling seem to
have survived into the commit. These changes, for some reason always win
against the tip of mario branch, during merge (recursive ad resolve) or
rebase. To fix this, I merged and afterwards restored the files from the
revision just before the merge.