Merge branch 'remove-ghost-selection' into 'dev'

Remove ghost selection on tabs.

See merge request ligolang/ligo!675
This commit is contained in:
Sander 2020-06-10 17:12:20 +00:00
commit 62e9cd5796

View File

@ -242,6 +242,10 @@ p {
border-top: none;
}
.tabs .tabs__item {
outline: 0;
}
.tabs .nav-tabs > div {
font-size: 1em;
font-weight: normal;