[Risolto] - Ubuntu 18.04 - Regolare spessore bordo finestra

[rage75]

Ho inserito le righe e provato, ma il bordo resta sempre sottile, anche se porto i pixel a 4 oppure a 6.
Se invece modifico i pixel della scrollbar, al riavvio del s.o. la modifica ha effetto.
In effetti ho provato anche a inserire solo le righe relative allo spessore del bordo, ma niente.
forse devo inserire la parola  Code:
faccio una prova e riferisco.

edit1:
eccomi, sono partito da questo contenuto all'interno del file, dopo l'aggiunta delle righe:

Ho provato a cambiare i pixel del bordo da 2 fino a 6, salvando e riavviando il pc ogni volta, ma senza risultato.
Come dicevo, se invece cambio i pixel per la scrollbar, al riavvio del pc la modifica ha effetto.
Forse sto sbagliando qualcosa, ma non riesco a capire.

Edit2:
Ok ho rifatto la procedura di inserimento e funziona, ma i valori aggiunti mi stravolgevano un pò alcuni parametri, per cui ho semplificato lasciando solo le righe relative al bordo per cui il file diventa::

Codice PHP:

<?php 

.scrollbar.vertical slider,

scrollbar.vertical slider {

min-width: 16px;

}



decoration {

    border: 5px solid gray;

    background: gray;

}