It would be worth creating a manual if there were really 150,000 Dolphin users out there. Just imagine if everyone of them paid just one dollar.
Yes indeed!
I've written several small documents on changing CSS values, but nothing conclusive. It's impossible for me to be serious under the current circumstances, so most languish on my computer somewhere.
It's possible a handful (maybe 20) of people would be interested, so it's a mountain of work for a readership of so few.
From what I can gather, the GZip Loader is reading from the cache, or maybe it is the cache. Thus there's no direct link to the CSS code itself.
It's almost impossible to work on a live site, so make a copy and work on that. Go to Admin/Tools/Cache/Settings and untick all the caches. Then clear the caches. You may even need to do this via FTP. Don't delete any .htaccess files in the cache folder however.
Clear your browser cache. This is important and I've installed a Chrome addon called "Clear Cache" that allows me to do this after every change. Make the change, clear the browser cache and refresh the browser. It's not necessary all the time, but it's difficult to know when you can, or can't get away with it.
Use your browser's Inspect feature to locate the CSS (See diagram).
Hope that helps.