Hi Jeff, this seems to be the default design of the 3rd party widget we use in the Web UI: https://github.com/josdejong/jsoneditor
We could overwrite the style, but maybe you want to report this issue to the maintainers of the jsoneditor repository instead? I created a ticket on your behalf: https://github.com/arangodb/arangodb/issues/5354 Best, Simran -- You received this message because you are subscribed to the Google Groups "ArangoDB" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
