padding: 0 10px 0 0
height: 100%
& > span
+ padding-right: 5px
vertical-align: middle
& > img
padding: 0
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 ?