/usr/share/gps/gps-gtk-win32-xp.css is in gnat-gps-common 6.1.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 | @define-color gps_active_tab green;
@define-color borders #777777;
@define-color theme_base_color white;
@define-color theme_fg_color black;
.mdi tab GtkLabel, .mdifocused tab GtkLabel {
color: black;
opacity: 1.0;
}
.notebook.mdifocused tab.top:active,
.notebook.mdifocused tab.bottom:active {
background-image: linear-gradient(to bottom,
@gps_active_tab,
@gps_active_tab 2px,
white 2px,
@theme_base_color);
border-image-source: -gtk-gradient(linear,
left top, left bottom,
from(@gps_active_tab),
to (@borders));
}
.notebook.mdifocused tab.left:active,
.notebook.mdifocused tab.right:active {
background-image: linear-gradient(to right,
@gps_active_tab,
@gps_active_tab 2px,
white 2px,
@theme_base_color);
border-image-source: -gtk-gradient(linear,
left top, right top,
from(@gps_active_tab),
to (@borders));
}
.notebook tab {
border-width: 1px;
border-style: solid;
background-image: none;
padding: 3px;
}
.menu .menuitem {
padding: 4px;
}
.gps-local-toolbar {
border-bottom: 1px solid #d0d0d0;
}
|