luis@32: body {
luis@0: 	font-size: 11pt;
luis@0: 	font-family: Arial;
luis@0: 	background-color: whitesmoke;
luis@0: }
luis@32: 
luis@32: label {
luis@0: 	font-size: 12pt;
luis@0: 	font-family: Arial;
luis@0: }
luis@32: 
luis@32: h1 {
luis@0: 	font-family: Arial;
luis@0: 	font-weight: bold;
luis@0: 	font-size: 22pt;
luis@0: 	color: black;
luis@0: }
luis@27: 
luis@32: .description {
luis@32:     font-size: small;
luis@32:     font-style: italic;
luis@32: }
luis@32: 
luis@39: .debug {
luis@39:     border: 0.5px dashed;
luis@39:     font-size: 9pt;
luis@39:     font-family: monospace;
luis@39:     padding: 10 18;
luis@39: }
luis@39: 
luis@39: .player {
luis@39:     border: 0.25px solid;
luis@39: }