/*
#=================================================================
#
#  Author: Thomas Wahlmann
#
#=================================================================
 */

div.devel  {
   position: fixed;     right: 4cm;   top : 15px;
   padding: 15px;
   color: white; background-color: red;
   font-size: 165%; font-weight: bold;
}

pre.debug {
   font-size: 70%;
}
#debug {
   margin-top: 15px;   
   color: #333333; background-color: #FFD0D0;
   font-size: 70%;
   padding: 5px;   
}
span.debug {
     border: 1px dashed red;
  /*background-color: #FFD0D0;
  color: #333333; 
   font-size: 70%;
   padding: 3px;   */
}

span.warning {
   /*background-color: #DDDDFF;*/
   color: red;
   margin-top: 7px;
}