Merge branch 'master' of github.com:ZeusWPI/zeus.ugent.be

This commit is contained in:
Lorin Werthen 2016-10-08 21:25:02 +02:00
commit b110e7937d

View file

@ -50,6 +50,15 @@ main.section {
padding-left: 5px;
padding-right: 5px;
}
&.is-tab {
border-bottom: 3px solid transparent;
border-top: 3px solid transparent;
&:hover, &.is-active {
border-bottom-color: $zeus-orange;
}
}
}
}
}