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
		 
  joukj at 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

>------------------------------------------------------------------------------<