Setting borders (left/rightbottom) on windows (F23/Gnome3.18)

[Jouk Jansen]

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
    	 
  [e-mail]

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. [phone]                       tt       uuuuuuu   ddddddd
> ------------------------------------------------------------------------------<