Updates to mongo portal.

This push contains some responsive-style updates, some changes to the
mongoDB and fsfrid, etc.