Hi @FredBevan. There are so many possibilities with JSON theme files that a library of options would likely just be a starting point. I often use the Power BI.tips Theme Generator to create a shell (or hopefully final) JSON theme file, then adjust as desired if necessary.
Hope this helps.
Greg