2017-11-14 01:07:27 +01:00
|
|
|
html, body {
|
|
|
|
|
height: 100%;
|
|
|
|
|
padding: 0;
|
|
|
|
|
margin: 0;
|
|
|
|
|
}
|
|
|
|
|
#settings {
|
|
|
|
|
width: 100%;
|
|
|
|
|
box-sizing: border-box;
|
|
|
|
|
height: 95%;
|
|
|
|
|
}
|
|
|
|
|
#settings.invalid {
|
2019-11-08 08:42:02 +01:00
|
|
|
background-color: var(--input-error-background-color);
|
2017-11-14 01:07:27 +01:00
|
|
|
}
|
