On 2016-07-01 08:34, Mike Wey wrote:

The css may have changed in the new release. i couldn't find GtkNotebook
in the default css at least.

Try setting the "GTK_DEBUG" environment variable to "interactive", this
will open an extra window that will allow you change the css on the fly.

unfortunately, this did not work. the interactive debugger did not open.
reading the docs on gnome.org i also tried ctrl-shift-i and ctrl-shift-d

• to no avail.