docker/docker — pull request #8343 by duglin (2014-10-01 19:45:32+00:00)
Title: Make fixed font sizes smaller per Issue #5278

Closes #5278

Signed-off-by: Doug Davis