Index: chrome/browser/resources/profiler/profiler.html |
diff --git a/chrome/browser/resources/profiler/profiler.html b/chrome/browser/resources/profiler/profiler.html |
index cb44c7875aab9d3d48379161d7b72898f9c95766..5e6f7a7f30cf7caeaf76ff550b49cc7c6470d2ab 100644 |
--- a/chrome/browser/resources/profiler/profiler.html |
+++ b/chrome/browser/resources/profiler/profiler.html |
@@ -2,13 +2,13 @@ |
<html> |
<head> |
<meta charset="utf-8"> |
+<link rel="stylesheet" href="chrome://resources/css/text_defaults.css"> |
<script src="profiler.js"></script> |
<script src="chrome://resources/js/util.js"></script> |
<style> |
body { |
- font-family: sans-serif; |
font-size: 80%; |
} |