10/30/2014 SE #5: Change upper-right nav area styling