2009-09-18 16:29:28 -04:00
|
|
|
@import "../../data/theme/gnome-shell.css";
|
2009-09-18 15:51:15 -04:00
|
|
|
|
2009-09-19 21:10:15 -04:00
|
|
|
stage {
|
|
|
|
font: 16pt serif;
|
|
|
|
}
|
|
|
|
|
|
|
|
.red {
|
2009-09-18 15:51:15 -04:00
|
|
|
background-color: red;
|
|
|
|
}
|
|
|
|
|
2009-09-19 21:10:15 -04:00
|
|
|
.green {
|
2009-09-18 15:51:15 -04:00
|
|
|
background-color: green;
|
|
|
|
}
|
|
|
|
|
2009-09-19 21:10:15 -04:00
|
|
|
.blue {
|
2009-09-18 15:51:15 -04:00
|
|
|
background-color: blue;
|
|
|
|
}
|
2009-09-19 21:10:15 -04:00
|
|
|
|
|
|
|
.bold {
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
.italic {
|
|
|
|
font-style: italic;
|
|
|
|
}
|
|
|
|
|
|
|
|
.big {
|
|
|
|
font-size: 150%;
|
|
|
|
}
|
|
|
|
|
|
|
|
.monospace {
|
|
|
|
font-family: monospace;
|
|
|
|
}
|
2009-09-20 16:21:47 -04:00
|
|
|
|
|
|
|
.border-image {
|
|
|
|
border: 15px;
|
2009-09-20 16:50:42 -04:00
|
|
|
border-image: url('border-image.png') 16;
|
2009-09-20 16:21:47 -04:00
|
|
|
}
|
|
|
|
|
2009-09-30 09:50:37 -04:00
|
|
|
.push-button {
|
2009-09-20 16:21:47 -04:00
|
|
|
background: #eeddbb;
|
|
|
|
border: 1px solid black;
|
|
|
|
border-radius: 8px;
|
|
|
|
padding: 5px;
|
|
|
|
}
|
|
|
|
|
2009-09-30 09:50:37 -04:00
|
|
|
.push-button:hover {
|
2009-09-20 16:21:47 -04:00
|
|
|
background: #ffeecc;
|
|
|
|
}
|
|
|
|
|
2009-09-30 09:50:37 -04:00
|
|
|
.push-button:active {
|
2009-09-20 16:21:47 -04:00
|
|
|
background: #ccbb99;
|
|
|
|
}
|