.stab.unstable { background: #FFF5D6; border-color: #FFC600; }
.stab.deprecated { background: #F3DFFF; border-color: #7F0087; }
.stab.portability { background: #C4ECFF; border-color: #7BA5DB; }
-
-.stab.portability > code {
- color: #000;
-}
+.stab.portability > code { background: none; }
#help > div {
background: #e9e9e9;