monito/stylesheet.css
2022-05-20 16:32:36 +02:00

112 lines
2.3 KiB
CSS

/*
Monito Gnome-Shell extension
Copyright (C) 2021 Benjamin Drieu
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License along
with this program; if not, write to the Free Software Foundation, Inc.,
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
SPDX-License-Identifier: GPL-2.0-or-later
*/
/* Add your custom extension styling here */
.panel-status-menu-box {
color: inherit;
}
.monito-services {
/* padding: 0px;
margin: 0px; */
}
.monito-serverbox {
}
.monito-box {
color: white;
border: 1px solid white;
padding: 0px .5em;
vertical-align: middle;
font-size: 20px;
line-height: 20px;
}
.monito-namebox {
margin-right: .5em;
}
.monito-critical-box, .monito-service-CRITICAL, .monito-service-line-CRITICAL {
background-color: #ff3300;
}
.monito-warning-box, .monito-service-WARNING, .monito-service-line-WARNING {
background-color: #ffa500;
}
.monito-ok-box, .monito-service-OK, .monito-service-line-OK {
background-color: #00cc33;
}
.monito-unknown-box, .monito-service-UNKNOWN, .monito-service-line-UNKNOWN {
background-color: #e496f5;
}
.monito-service-line {
padding: 3px;
margin: 0px;
color: white;
border: 1px solid white;
vertical-align: middle;
font-size: 20px;
line-height: 20px;
}
.monito-service-line:hover {
font-weight: bold;
}
.monito-title {
margin: 2px;
font-size: 200%;
}
.monito-label {
margin: 2px;
}
.monito-network-error {
font-size: 150%;
font-weight: bold;
}
.monito-button-icon {
padding: 0px;
margin: 0px;
}
.entry {
margin-right: 0px;
min-width: 256px;
padding: 12px !important;
}
.big-button {
margin-left: 0px;
padding: 12px !important;
}
.small-button {
padding: 3px !important;
}