Docker polish

Some short-term polish for the container pages.