e headers for syntax examples */
         div.motivation {
         font-size: 90%;
         float: left;
         background: #F9F9F9;
         color: #2F6FAB;
         border: 1px dashed #2F6FAB;
         border-bottom: 0px;
         padding-top: 2px;
         }
         div.motivation span.exampleheader {
         background: #F9F9F9;
         padding-top: 0px;
         padding-right: 10px;
         padding-left: 10px;
         padding-bottom: 3px;
         padding-top: 0px;
         }
         /* Also c