Mostly renaming

This commit is contained in:
Stephan Hagedorn 2017-09-01 15:32:07 +02:00
parent e8ab9a51d7
commit 7e5c9cdf0d
8 changed files with 90 additions and 85 deletions

View file

@ -68,13 +68,18 @@
}
}
.float_left {
.overflow {
overflow: auto;
}
.float_space_left {
float: left;
margin-right: $space_3;
}
.overflow {
overflow: auto;
.float_half_size {
float: left;
width: 50%;
}
.x_long {