Brett on 05 Jul, 2019 05:13 PM
You can't remove the default styles. You should name the custom style
something other than GitHub.css, e.g. "GitHub Custom.css" to
differentiate. You can find your custom file by highlighting it in the
list in Preferences->Style->Custom CSS, and then using the "Reveal"
button to locate the file in Finder. If you rename it, you'll need to
add it to custom styles again with the new file.
Brett on 05 Jul, 2019 06:38 PM
I think we're running into semantic confusion, which is my fault. When I
say default styles, I mean the 9 built-in styles that ship with Marked.
I should refer to those as "built-in styles" to avoid confusion. The
Default Style dropdown option is different, and you can set that to any
style, including custom styles.
1. No, you have one built-in GitHub style, and one custom GitHub style.
You can not remove the built-in styles, you just need to duplicate them
to custom styles and edit them, which you appear to have done. As I
recommended above, it's a good idea to name your custom styles
differently from the defaults to avoid confusion in the menus.
2. The "Default Style" option is the the style that's going to load for
every new window (i.e. the default). When you select a new style from
the popup, that style completely replaces whatever the current style is.
If you plan to use your custom style for all (or at least most) windows,
make that the Default Style.