Use smaller log font size for mobile

[spadgett]

Switch to an 11px font <768px to show more log content on mobile devices (but keep 12px for desktop). Also dim the line numbers some to differentiate them from the log content.

/cc @jwforres @sg00dwin @benjaminapetersen

Mobile:

Desktop:

[spadgett]

Current 12px font for comparison:

[jwforres]

so looking at travis they actually use a lighter weight font as well on their line numbers to help make them visuall distinct

[jwforres]

ok maybe my eyes are playing tricks on me, seems to be the same font/font-weight/font-size when i inspect it

but interestingly they use this to create their line numbers http://www.w3schools.com/cssref/pr_gen_counter-increment.asp

[benjaminapetersen]

@jwforres we may possibly have been looking at Travis as well while discussing this change maybe....

[jwforres]

[merge]

[openshift-bot]

continuous-integration/openshift-jenkins/merge SUCCESS (https://ci.openshift.redhat.com/jenkins/job/test_pr_origin/2314/) (Image: devenv-rhel7_3782)

[openshift-bot]

Evaluated for origin merge up to 73bc9b8

[openshift-bot]

[Test]ing while waiting on the merge queue

[openshift-bot]

Evaluated for origin test up to 73bc9b8

[openshift-bot]

continuous-integration/openshift-jenkins/test SUCCESS (https://ci.openshift.redhat.com/jenkins/job/test_pr_origin/2314/)