This was caused by insufficient bottom padding on the tabs (0.1em on
normal ones, and for some reason 0.2em on active ones, which was
apparently enough). In some browsers (at least Opera) this resulted in
a one-pixel gap between the tabs and the page body.
This patch raises the padding to 1em, just in case. This shouldn't
cause any issues, as all z-indices are set reasonably on the involved
elements; the excess space is hidden "under" the page body.
Change-Id: I07223ba46913f721907f9aa88f79bc94402b6cf6
display: inline;
border: 1px solid #aaa;
border-bottom: none;
- padding: 0 0 .1em 0;
+ padding: 0 0 1em 0;
margin: 0 .3em 0 0;
overflow: visible;
background: white;
}
#p-cactions li.selected {
border-color: #fabd23;
- padding: 0 0 .2em 0;
font-weight: bold;
}
#p-cactions li a {