@import "../../data/theme/gnome-shell.css";

stage {
    font: 16pt serif;
}

.red {
    background-color: red;
}

.green {
    background-color: green;
}

.blue {
    background-color: blue;
}

.bold {
    font-weight: bold;
}

.italic {
    font-style: italic;
}

.big {
    font-size: 150%;
}

.monospace {
    font-family: monospace;
}

.border-image {
    border: 15px;
    border-image: url('border-image.png') 16;
}

.background-gradient {
    background-gradient-start: rgba(127, 255, 127, .6);
    background-gradient-end: rgba(127, 127, 255, .6);
}

.border-image-with-background-gradient {
    border: 15px black solid;
    border-image: url('border-image.png') 16;
    background-gradient-start: #88ff88;
    background-gradient-end: #8888ff;
}

.background-image {
    background-image: url('face-plain.png');
    background-color: white;
}

.push-button {
    background: #eeddbb;
    border: 1px solid black;
    border-radius: 8px;
    padding: 5px;
}

.push-button:hover {
    background: #ffeecc;
}

.push-button:active {
    background: #ccbb99;
}