Incorporated DABL in models/config.php; minor changes to models/theme.class.php