var style = 0;
function switch_style(element) {
if (style) {
style = 0;
dump("switch_style 1\n");
element.setAttribute("style", "background-color: blue");
} else {
style = 1;
dump("switch_style 0\n");
element.setAttribute("style", "background-color: red");
}
}
button.klass1 {
color: rgb(0,255,0);
width: 97px;
min-width: 97px;
max-width: 97px;
button.klass2 {
color: rgb(0,255,255);
width: 97px;
min-width: 97px;
max-width: 97px;
}
}