/* Stylesheet definition for layout_extensions_800 */