/***

   This file reduces the size of some GTK widgets by reducing unnecessary padding.
   You may make changes or comment-out text to restore the standard GTK widgets.
   Do not delete the file - it would be automatically restored.

***/

button, .button {
   padding: 0px 2px 0px 2px;           /* top right bottom left */ 
}

scale {                                /* slider control       21.41  */
   min-width: 10px;
   padding: 0 2px 0 5px;
}

