* updated core.js.
 * added style definition of pri tags.
 * fixed some errors.