padding: 0 10px 0 0
height: 100%
& > span
+ padding-right: 5px
vertical-align: middle
& > img
padding: 0
border: none
@media screen and (max-width: 420px)
+ .container
+ min-height: calc(100vh - 55px)
footer
height: 55px
display: block
padding: 5px 0
.menuitem.somenews
- animation: blinkNews 1s infinite;
color: red
&:link, &:visited, &:hover
color: red
-@keyframes blinkNews
- 0%, 49%
- background-color: yellow
- padding: 3px
- 50%, 100%
- background-color: grey
- padding: 3px
-
// Styles for diagrams and board (partial).
// TODO: where to put that ?
width: 12.5%
padding-bottom: 12.5%
+div.board9
+ width: 11.1%
+ padding-bottom: 11.1%
+
div.board10
width: 10%
padding-bottom: 10%