Merge pull request #5458 from vector-im/rxl881/widgetTitleBorder

Add back bottom border to widget title bar
pull/5493/head
Richard Lewis 2017-10-31 18:02:32 +00:00 committed by GitHub
commit 56c6a15ddf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -74,7 +74,7 @@ limitations under the License.
margin: 0;
padding: 2px 10px;
// background-color: $e2e-verified-color;
// border-bottom: 1px solid $primary-hairline-color;
border-bottom: 1px solid $primary-hairline-color;
font-size: 10px;
}