michael@0: html, body {
michael@0:   height: 100%;
michael@0: }
michael@0: 
michael@0: #remote {
michael@0:   width: 100%;
michael@0:   height: 100%;
michael@0:   border: 0;
michael@0:   display: none;
michael@0: }
michael@0: 
michael@0: #manage, #intro, #stage {
michael@0:   display: none;
michael@0: }