Editing: theme.js