Gadget-NavFrame.js

/* Standard Navigationsleisten, aka box hiding thingy

  from .de.  Documentation at Wikipedia:NavFrame. */

div.NavFrame {

   margin: 0;
   padding: 4px;
   border: 1px solid #aaa;
   text-align: center;
   border-collapse: collapse;
   font-size: 95%;

} div.NavFrame + div.NavFrame {

   border-top-style: none;
   border-top-style: hidden;

} div.NavPic {

   background-color: #fff;
   margin: 0;
   padding: 2px;
   /* @noflip */
   float: left;

} div.NavFrame div.NavHead {

   height: 1.6em;
   font-weight: bold;
   background-color: #ccf;
   position: relative;

} div.NavFrame p, div.NavFrame div.NavContent, div.NavFrame div.NavContent p {

   font-size: 100%;

} div.NavEnd {

   margin: 0;
   padding: 0;
   line-height: 1px;
   clear: both;

} a.NavToggle {

   position: absolute;
   top: 0;
   /* @noflip */
   right: 3px;
   font-weight: normal;
   font-size: 90%;

}