tree 483bfc3184b90d0ec17b8071ea95cc7165b29be2
parent 9a30ef71507021b6ad13783c4c48368460dae1e1
author Kasper Nilsson <kaspern@google.com> 1527032068 -0700
committer Kasper Nilsson <kaspern@google.com> 1527032537 -0700

Changes to font sizes

As per UX, change font-size-large to 15px and downsize table headers
(not group headers) to 13px. Group headers should be 15px.

Change-Id: I92fbf63b43b6cee245e8e15012c3d82f7adb63e1