michael@0: body {
michael@0:     background-color: red;
michael@0: }