Comment 1 for bug 748858

Do you have examples of other GTK+ applications which override border / thickness of toolbars or buttons defined in the currently used desktop theme in such a way when in fullscreen mode (<F11>)?

Wouldn't this apply to e.g. scrollbars as well (i.e. if implemented, all widgets touching any edge of the screen in real fullscreen mode <F11> would have to ignore borders/thickness as defined in the GTK+ theme, as well margins, padding or frames within the containing widget on the side touching the edge of the screen)?