implement customizable indentation widths

This commit is contained in:
ansuz
2017-08-10 18:06:47 +02:00
parent 844967a880
commit fbb880f277
3 changed files with 63 additions and 0 deletions

View File

@@ -22,6 +22,17 @@
}
}
}
.inputBlock {
input {
border-top-right-radius: 0.25em;
border-bottom-right-radius: 0.25em;
padding: 5px;
padding-left: 15px;
&[type="number"] {
border-right: 1px solid #adadad;
}
}
}
.infoBlock {
[type="text"] {
width: @button-width;