pixel-widgets 0.7.0

* {
    margin: 2;
}

window {
    background: #800;
}

layers {
    width: fill(1);
    height: fill(1);
}

scroll {
    width: 150;
    height: 100;
    padding: 0 5 5 0;
}

slider {
    background: #fff;
    width: 150;
    height: 40;
}

handle {
    background: #000;
}

button {
    background: #888;
    padding: 5 20 5;
}

button:hover {
    background: #aaa;
}

button:pressed {
    background: #222;
}

button text {
    color: #000;
}

input {
    width: fill(1);
    background: #fff;
    color: #000;
    text-size: 24.0;
    padding: 4;
}

window text.title {
    color: #fff;
    text-size: 18;
}

window space .close {
    width: 20;
    height: fill(1);
    background: #00f;
}

row {
    width: fill(1);
    background: #0208;
    padding: 2;
}

row .title {
    width: 300;
    padding: 2;
}

column {
    width: fill(1);
    padding: 2;
}

space {
    width: fill(1);
    height: fill(1);
}

space .dummy {
    width: 200;
    height: 200;
}

dropdown {
    background: #0008;
    color: #00f8;
    width: fill(1);
    padding: 8;
}

dropdown:open {
    background: #002;
}

menu {
    background: #111;
    padding: 5;
    color: #fff3;
}

menu > * {
    margin: 10 2;
}