Make Git revision dropdown style consistent

This commit is contained in:
winh 2017-07-26 22:20:37 +02:00
parent 5388f5ee13
commit 6433559087
2 changed files with 6 additions and 4 deletions

View file

@ -725,9 +725,9 @@
}
// TODO: change global style and remove mixin
@mixin new-style-dropdown {
.dropdown-menu,
.dropdown-menu-nav {
@mixin new-style-dropdown($selector: '') {
#{$selector}.dropdown-menu,
#{$selector}.dropdown-menu-nav {
.divider {
margin: 6px 0;
}
@ -773,7 +773,7 @@
}
}
.dropdown-menu-align-right {
#{$selector}.dropdown-menu-align-right {
margin-top: 2px;
}
}

View file

@ -339,6 +339,8 @@ a > code {
@extend .ref-name;
}
@include new-style-dropdown('.git-revision-dropdown');
/**
* Apply Markdown typography
*