| Index: chrome/browser/resources/options/options.js
|
| diff --git a/chrome/browser/resources/options/options.js b/chrome/browser/resources/options/options.js
|
| index 4235eb517bc316204c6c0d2e6d10d6caabdc5fce..c8aa731d06067f59254a7d1d283f9ea1c807b459 100644
|
| --- a/chrome/browser/resources/options/options.js
|
| +++ b/chrome/browser/resources/options/options.js
|
| @@ -158,6 +158,8 @@ function load() {
|
| // Allow platform specific CSS rules.
|
| if (cr.isMac)
|
| document.documentElement.setAttribute('os', 'mac');
|
| + if (cr.isLinux)
|
| + document.documentElement.setAttribute('toolkit', 'gtk');
|
| if (cr.isViews)
|
| document.documentElement.setAttribute('toolkit', 'views');
|
| }
|
|
|