Commit f987e5f1 authored by Florian Müllner's avatar Florian Müllner Committed by Marge Bot
Browse files

workspace-indicator: Reindent stylesheet

For some reason the CSS here uses a different indentation than
gnome-shell or the other extensions, fix that.

#283

Part-of: <!166>
parent c7662301
.panel-workspace-indicator {
padding: 0 8px;
padding: 0 8px;
}
.panel-workspace-indicator-box {
padding: 2px 0;
padding: 2px 0;
}
.panel-workspace-indicator-box .workspace {
width: 40px;
width: 40px;
}
.panel-workspace-indicator,
.panel-workspace-indicator-box .workspace {
border: 1px solid #cccccc;
border: 1px solid #cccccc;
}
.panel-workspace-indicator,
.panel-workspace-indicator-box .workspace.active {
background-color: rgba(200, 200, 200, .5);
background-color: rgba(200, 200, 200, .5);
}
.panel-workspace-indicator-box .workspace {
background-color: rgba(200, 200, 200, .3);
border-left-width: 0;
background-color: rgba(200, 200, 200, .3);
border-left-width: 0;
}
.panel-workspace-indicator-box .workspace:first-child {
border-left-width: 1px;
border-left-width: 1px;
}
.workspace-indicator-window-preview {
background-color: #252525;
border: 1px solid #ccc;
background-color: #252525;
border: 1px solid #ccc;
}
.workspace-indicator-window-preview.active {
background-color: #353535;
border: 2px solid #ccc;
background-color: #353535;
border: 2px solid #ccc;
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment