This section describes settings concerning the behaviour of jumanji
Defines if the proxy should be set while initializing jumanji
Defines if the jumanji window should be closed when the last tab has been closed
The default download command that gets executed whenever a file should be downloaded
The default download directory
The page padding defines the home page that is loaded by default
Defines the amount of pixels that are scrolled on each step:
Defines the amount of percent that is zoomed in or out on each comand.
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.