| 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%;
|
| }
|
|
|
|
|