1042 

  1043 /*

  1044  * The header over <pre> in the content area

  1045  */

  1046 

  1047 div.preformat-panel {

  1048 	text-transform: uppercase;

  1049 	font-size: 9px;

  1050 	font-family: tahoma, arial, sans-serif;

  1051 	font-weight: bold;

  1052 	margin-left: 1em;

  1053 	border-width: 1px 1px 0 1px;

  1054 	border-style: dashed;

  1055 	border-color: black;

  1056 	background-color: #ddd;

  1057 	padding: 3px;

  1058 }