Unresolved paths to some images, e.g `static/style/blue/ok_small.png`

[fgp]

Some images (e.g. on the page Manage Tools, URL admin/repositories) don't load correctly after launching Galaxy using the docker image galaxy-stable:19.09. The problems seems to be that e.g. lib/tool_shed/galaxy_install/grids/admin_toolshed_grids.py hardcodes the blue style by referring to %s/style/blue/ok_small.png where %s is the static URL, i.e. static/. But both galaxy.yml and nginx.conf already map static/styleto static/style/blue, and the URL thus translates to /galaxy-central/static/style/blue/blue/ok_small.png which does not exist.

I tried fixing this by changing the static-map line in galaxy.yml to read static-map: /static/style=static/style instead of static-map: /static/style=static/style/blue, but that didn't help -- I assume because the Docker image serves static files directly through nginx, not through uWSGI.

Can I fix this through the config somehow or do I need to modify the Dockerfile to change nginx.conf?