Bug 636245 - Allow localizers to change the Device Manager window size. r=kaie

security/manager/locales/en-US/chrome/pippki/deviceManager.dtd

@@ -3,6 +3,10 @@
    - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
 
 <!ENTITY devmgr.title                           "Device Manager">
+<!-- LOCALIZATION NOTE (devmgr.style): This is CSS style for Device Manager
+     window size. Don't translate "width" nor "height". Adjust the numbers
+     to make window contents fit. -->
+<!ENTITY devmgr.style                           "width: 52em; height: 32em;">
 
 <!ENTITY devmgr.devlist.label                   "Security Modules and Devices">
 <!ENTITY devmgr.details.title                   "Details">

security/manager/pki/resources/content/device_manager.xul

@@ -16,7 +16,7 @@
 	windowtype="mozilla:devicemanager"
         xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul" 
         title="&devmgr.title;"
-        style="width: 52em; height: 32em;"
+        style="&devmgr.style;"
         persist="screenX screenY width height"
         onload="LoadModules();"
         buttons="accept">