2 #output {border:5px solid
#BCC8D8; margin:1em 10%; padding:1em;}
3 #source {width:95%; overflow:auto
; border:1px solid
#BCC8D8;
4 padding: 2%; background:#F0F0FB; max-height: 20em;}
17 border:1px solid
#E3C6C6;
21 border:1px solid
#C6E3C6;
23 #w3c-validator { float:right
; }
24 #w3c-validator img
{ border:0; }
26 #textarea {margin-right:26em; min-width:20em;}
27 textarea
{width:100%;}
29 /* twiddle with this value as we add and remove controls */
30 #textarea textarea
{height:31em;margin-bottom:1em;}
32 #content .hp-config
{width:21em; float:right
; font-size:1em; margin:0;}
33 #controls {margin-top:0.5em; padding-top:0.5em; border-top: 1px solid
#848484;