remove scala-js-dom dir
update angular and bootstrap versions
change logo for IE
fix input range display in IE
ui consistency between login and signup
gravatar size fix
isabelle document updates