Re-use existing top area elements
This commit is contained in:
parent
0267954403
commit
b2604f566d
1 changed files with 0 additions and 16 deletions
|
@ -398,19 +398,3 @@ table {
|
||||||
margin-right: -$gl-padding;
|
margin-right: -$gl-padding;
|
||||||
border-top: 1px solid $border-color;
|
border-top: 1px solid $border-color;
|
||||||
}
|
}
|
||||||
|
|
||||||
.search-area {
|
|
||||||
display: block;
|
|
||||||
border-bottom: 1px solid $table-border-color;
|
|
||||||
height: 50px;
|
|
||||||
|
|
||||||
.search-controls {
|
|
||||||
float: right;
|
|
||||||
|
|
||||||
input[type='search'] {
|
|
||||||
float: left;
|
|
||||||
width: auto;
|
|
||||||
margin-right: 10px;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
Loading…
Reference in a new issue