Home → Questions →

my CSS files are a mess

• Edit

rover213

05 Jul, 2019 06:56 AM

Hello,
I am new to the idea of CSS files. I tried to download + edit files from the CSS library, and I ended up with a big mess.
I would like to know how to put things back in order.
My objective is to use the Github model and customize it.
1- as you can see from the snapshot, I ended up with two Github files, one triggered by Cmd-4 and the other by Opt-Cmd-1. The one with my customizations is Opt-Cmd-1. How do I get rid of the other ?
2- I did so many things that I can't figure out how I customized github in the first place. If I want to make further changes, which file do I edit and how ?
thank you very much for your time and help

• CSS_mess.png 353 KB

1. Support Staff 1 Posted by 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

   • Edit

2. 2 Posted by rover213 on 05 Jul, 2019 05:34 PM

   

   Hello Brett, thank you for your reply. I understand now.

   • Edit

3. Support Staff 3 Posted by 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.

   -Brett

   • Edit

4. 4 Posted by rover213 on 05 Jul, 2019 07:54 PM

   

   It's crystal clear now. Thanks

   • Edit