michael@0: div {
michael@0:   color: #ff0066; }
michael@0: 
michael@0: span {
michael@0:   background-color: #EEE; }
michael@0: 
michael@0: /*# sourceMappingURL=doc_sourcemaps.css.map */