Skip to content

Instantly share code, notes, and snippets.

@jungomi
Last active March 2, 2016 21:39
Show Gist options
  • Save jungomi/e08d17ecb2c2cc81fb40 to your computer and use it in GitHub Desktop.
Save jungomi/e08d17ecb2c2cc81fb40 to your computer and use it in GitHub Desktop.
windows-list gnome extension
.bottom-panel {
/* .window-button-icon height +
.window-button vertical padding +
.window-button > StWidget vertical padding) */
height: 22px;
}
.window-list {
spacing: 2px;
font-size: 12pt;
}
.window-button {
padding: 0px;
}
.window-button:first-child:ltr {
padding-left: 2px;
}
.window-button:last-child:rtl {
padding-right: 2px;
}
.window-button-box {
spacing: 4px;
}
.window-button > StWidget {
-st-natural-width: 200px;
max-width: 200px;
color: #eee;
background-color: #111;
border-radius: 0px;
padding: 3px 4px 1px;
box-shadow: inset 1px 1px 2px rgba(255,255,255,0.2);
text-shadow: 1px 1px 2px rgba(0,0,0,0.8);
}
.window-button:hover > StWidget {
color: white;
background-color: #1f1f1f;
}
.window-button:active > StWidget,
.window-button:focus > StWidget {
box-shadow: inset 2px 2px 2px rgba(255,255,255,0.2);
}
.window-button.focused > StWidget {
color: white;
background-color: #222;
box-shadow: inset 1px 1px 2px rgba(255,255,255,0.3);
}
.window-button.focused:active > StWidget {
box-shadow: inset 2px 2px 2px rgba(255,255,255,0.5);
}
.window-button.minimized > StWidget {
color: #888;
box-shadow: inset -1px -1px 2px rgba(255,255,255,0.2);
}
.window-button.minimized:active > StWidget {
box-shadow: inset -2px -2px 2px rgba(255,255,255,0.2);
}
.window-button-icon {
width: 22px;
height: 22px;
}
.window-list-workspace-indicator {
padding: 0px;
}
.window-list-workspace-indicator > StWidget {
background-color: rgba(200, 200, 200, .3);
/* border: 1px solid #cccccc; */
}
.notification {
font-weight: normal;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment