div.navigator { text-align : right; margin-right : 5%; } span.control { font-size : 100%; } body { color : #000000; background-color : #D0D0D0; } pre { color : #000000; background-color : #DDDDDD; margin : 1em; border-width : 1; border-color : #000000; border-style : solid; padding : 1em; } h1 { text-align : right; margin-left : 10%; margin-right : 10%; font-size : 200%; } h2 { color : #FFFFFF; background-color : #CC3333; font-size : 160%; } sup.outside { }