minor change to jemdoc.py to get grey border to display on pages