Added imports to examples.html