more fixes for bug 760876. new patch for bug 860672. started a patch for style reloading in the web console