        padding-top: 2px;
         }
         div.example span.exampleheader {
         background: #FCFAEE ;
         padding-top: 0px;
         padding-right: 10px;
         padding-left: 10px;
         padding-bottom: 3px;
         padding-top: 0px;
         }
         /* Also copy MediaWiki style here, so it will not look different when exported */
         div.examplecontent pre  {
         background-color: #FCFAEE ;
         border: 1px dashed #B9AB2D;
         color: black;
         line-height: 1.1