// Intentionally empty, so that default plugin styles would not be used