2016-04-11 15:32:41 +02:00
|
|
|
/* make close button on the editor's tabs smaller */
|
|
|
|
|
#geany-close-tab-button {
|
|
|
|
|
outline-offset: 0;
|
|
|
|
|
outline-width: 0;
|
2016-04-26 21:40:03 +02:00
|
|
|
margin: 0;
|
|
|
|
|
margin-left: 0.5em;
|
|
|
|
|
min-width: 0;
|
|
|
|
|
min-height: 0;
|
2016-04-11 15:32:41 +02:00
|
|
|
}
|
