updated libraries
require.js updates
library updates (jquery ui)
Shrink font for jquery ui
more fixes everywhere… challenge info, main page
Few more changes. This branch is basically ready?