[tips&tricks] SuperCollider Help in Dark Grey

[luka]

Sometime ago I’ve found a way to invert the SC Help system into dark gray using CSS. Edit HelpSource/scdoc.css (on Linux that resides in /usr/local/share/SuperCollider/) and add at the bottom:

body {
    background: #333;
    color: #333;
    -webkit-filter: invert(100%);
    filter: invert(100%) ;
}

However what always remained unthemed/not inverted was the scroll-bar. Or at least at some point I have noticed that it is not themed properly. I was always a bit angry why it didn’t change together with the theme of my desktop manager / window manager (QT theme etc), but have only recently looked at if it is possible to style the scrollbar with that same CSS, and it is! Within the same file (scdoc.css) one should further add at the bottom:

body::-webkit-scrollbar {
  width: 12px;               /* width of the entire scrollbar */
}

body::-webkit-scrollbar-track {
  background: #333;        /* color of the tracking area */
}

body::-webkit-scrollbar-thumb {
  background-color: #666;    /* color of the scroll thumb */
  border-radius: 20px;       /* roundness of the scroll thumb */
  border: 3px solid #333;  /* creates padding around scroll thumb */
}

[Jildert]

Very cool!

For who’s also on OSX and wants to try it:
scdoc.sc is in ~/…/…/Applications/SuperCollider.app/Contents/Resources/HelpSource/

[Rainer]

@luka

body {
    background: #333;
    color: #333;
    -webkit-filter: invert(100%);
    filter: invert(100%) ;
}

body::-webkit-scrollbar {
  width: 12px;               /* width of the entire scrollbar */
}

body::-webkit-scrollbar-track {
  background: #333;        /* color of the tracking area */
}

body::-webkit-scrollbar-thumb {
  background-color: #666;    /* color of the scroll thumb */
  border-radius: 20px;       /* roundness of the scroll thumb */
  border: 3px solid #333;  /* creates padding around scroll thumb */
}

Excellent… appended this to:

Platform.userAppSupportDir ++ "/Help/scdoc.css"

…now it’s: