Hi all,
I would like to set finite (they now seem "zero"-sized) borders to all
windows displayed on my F23/Gnome3.18 system. I already figured out how to
change the colour of the title bar (so I already work with a tweaked version
of the Radiance theme)
Can someone point me to the right "border" parameters in the .css files that
set the borders widths for the the left/right and bottom sides of the
displayed windows.
regards
Jouk
Pax, vel iniusta, utilior est quam iustissimum bellum.
(free after Marcus Tullius Cicero (106 b.Chr.-46 b.Chr.)
Epistularum ad Atticum 7.1.4.3)
Touch not the cat bot a glove
------------------------------------------------------------------------------<
Jouk Jansen
joukj(a)hrem.nano.tudelft.nl
Technische Universiteit Delft tttttttttt uu uu ddddddd
Kavli Institute of Nanoscience tttttttttt uu uu dd dd
Nationaal centrum voor HREM tt uu uu dd dd
Lorentzweg 1 tt uu uu dd dd
2628 CJ Delft tt uu uu dd dd
Nederland tt uu uu dd dd
tel. 31-15-2782272 tt uuuuuuu ddddddd
------------------------------------------------------------------------------<