mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-10-31 08:34:01 -05:00
12 lines
196 B
Plaintext
Executable File
12 lines
196 B
Plaintext
Executable File
[theme]
|
|
inherit = classic
|
|
stylesheet = style.css
|
|
pygments_style = sphinx
|
|
favicon = favicon.ico
|
|
|
|
[options]
|
|
rightsidebar = false
|
|
externalrefs = false
|
|
collapsiblesidebar = true
|
|
stickysidebar = false
|