EXTRA_DIST = theme.js