add spacing at the bottom of the editor menu

GitOrigin-RevId: 117d34415dca6ce63018181298b9c349eae20127
This commit is contained in:
Tim Alby
2019-12-02 13:14:50 +05:30
committed by sharelatex
parent eb13ceafd5
commit 3f83648e81

View File

@@ -54,6 +54,10 @@
}
}
> ul.nav:last-child {
margin-bottom: @line-height-computed / 2;
}
ul.nav-downloads {
li {
display: inline-block;