/* Define the look of a code example */
.codeexample {
   margin-right: 5%;
   margin-left: 5%;
   width: 90% ;
   padding-left: 3%;
   padding-right: 3%;
   padding-top: 16px;
   padding-bottom: 0px;
   color: #000000;
   background-color: #ffcc99;
   border-color: #ffcc99;
   border-style: ridge;
   border-width: 3px;
   font-size: 100%;
   font-family: sans-serif;
}

/* Define the look of an editor example */
.editexample {
   margin-right: 5%;
   margin-left: 5%;
   width: 90% ;
   padding-left: 3%;
   padding-right: 3%;
   padding-top: 16px;
   padding-bottom: 0px;
   color: #000000;
   background-color: #cccccc;
   border-color: #ffcc99;
   border-style: ridge;
   border-width: 3px;
   font-size: 100%;
   font-family: serif;
}