A sample devtools theme extension using the new API