/* border box on all elements - prevents padding expanding box */
* { -moz-box-sizing: border-box; -webkit-box-sizing: border-box; box-sizing: border-box; }
*:before { -moz-box-sizing: border-box; -webkit-box-sizing: border-box; box-sizing: border-box; }
*:after { -moz-box-sizing: border-box; -webkit-box-sizing: border-box; box-sizing: border-box; }

/* dev mode panel */
div#devpanel{
	padding: 10px;
	background-color: #000000;
	color: #FFFFFF;
	font-family: courier;
}
	div#devpanel ul{  }
		div#devpanel ul li{ margin: 20px 0; }
			div#devpanel ul li label,div#devpanel ul li pre{ float: left; padding: 10px; background-color: #121212; }
			div#devpanel ul li label{ width: 10%; background-color: #080808; }
			div#devpanel ul li pre{ width: 89%; }