412c50b939
This commit adds a few more examples to borders.js that render borders with various combinations of gradients, background images, shadows, and border-images. https://bugzilla.gnome.org/show_bug.cgi?id=636976
71 lines
1.0 KiB
CSS
71 lines
1.0 KiB
CSS
@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: #88ff88;
|
|
background-gradient-end: #8888ff;
|
|
}
|
|
|
|
.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;
|
|
}
|