| Index: chrome/browser/resources/profiler/profiler.html
|
| diff --git a/chrome/browser/resources/profiler/profiler.html b/chrome/browser/resources/profiler/profiler.html
|
| index 4a5e5fcb09f90b194a4526efbd0cdd8a381638b0..59ed0374e09d773f5082a56f04fb9841b7957737 100644
|
| --- a/chrome/browser/resources/profiler/profiler.html
|
| +++ b/chrome/browser/resources/profiler/profiler.html
|
| @@ -2,16 +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%;
|
| -}
|
| -
|
| /*
|
| * The following styles are for a TABLE that uses a thin collapsed border, and
|
| * has a blue heading. When you hover over rows, they turn yellow.
|
|
|