From c0afa393f5124e6542c64cf0fca5073eb3e8efdb Mon Sep 17 00:00:00 2001 From: dzannotti Date: Tue, 11 Aug 2015 21:21:49 +0100 Subject: [PATCH] Consolidated font stack to be the same across all devtool --- src/react/JSONTree/index.js | 1 - src/react/LogMonitor.js | 8 ++------ 2 files changed, 2 insertions(+), 7 deletions(-) diff --git a/src/react/JSONTree/index.js b/src/react/JSONTree/index.js index e8e80e3e..4c59723f 100644 --- a/src/react/JSONTree/index.js +++ b/src/react/JSONTree/index.js @@ -15,7 +15,6 @@ const styles = { margin: 0, fontSize: '0.90em', listStyle: 'none', - fontFamily: 'monospace', MozUserSelect: 'none', WebkitUserSelect: 'none' } diff --git a/src/react/LogMonitor.js b/src/react/LogMonitor.js index 0f589449..ce6fd63c 100644 --- a/src/react/LogMonitor.js +++ b/src/react/LogMonitor.js @@ -5,7 +5,7 @@ import * as themes from './themes'; const styles = { container: { - fontFamily: 'Monaco, monospace', + fontFamily: 'monaco, Consolas, Lucida Console, monospace', position: 'relative', overflowY: 'hidden', width: '100%', @@ -157,11 +157,7 @@ export default class LogMonitor { return (
-
+
Reset {computedStates.length > 1 && Revert