This section describes settings concerning the behaviour of jumanji
### auto-set-proxy Defines if the proxy should be set while initializing jumanji
### close-window-with-last-tab Defines if the jumanji window should be closed when the last tab has been closed
### download-command The default download command that gets executed whenever a file should be downloaded
### download-dir The default download directory
### homepage The page padding defines the home page that is loaded by default
### scroll-step Defines the amount of pixels that are scrolled on each step:
### zoom-step Defines the amount of percent that is zoomed in or out on each comand.
## Girara settings Most of the options affecting the appearance of jumanji are derived from the options that are offered by our user interface library called girara and can be found in its documentation. Those values can also be set via the jumanjirc file.