Index: device_manager.xul
===================================================================
RCS file: /cvsroot/mozilla/security/manager/pki/resources/content/device_manager.xul,v
retrieving revision 1.21
diff -u -p -r1.21 device_manager.xul
--- device_manager.xul	20 Feb 2007 16:26:06 -0000	1.21
+++ device_manager.xul	10 Jul 2008 22:03:46 -0000
@@ -78,10 +78,12 @@
       </vbox> <!-- / List of devices -->
       <vbox> <!-- Device status -->
         <tree id="info_tree" seltype="single" hidecolumnpicker="true"
-              flex="1" style="min-width: 10em">
+              flex="1" style="min-width: 10em" hidehscroll="false">
           <treecols> 
-            <treecol id="title1Col" flex="5" primary="true" label="&devmgr.details.title;"/> 
-            <treecol id="title2Col" flex="7" label="&devmgr.details.title2;"/> 
+            <treecol id="title1Col" width="60" primary="true" label="&devmgr.details.title;"/> 
+            <splitter class="tree-splitter"/>
+            <treecol id="title2Col" width="300" label="&devmgr.details.title2;"/> 
+            <splitter class="tree-splitter"/>
           </treecols>
           <treechildren id="info_list"/>
         </tree>