update browser styles

rareddy · Aug 7, 2012 · ba0ecb5 · ba0ecb5
1 parent c4f8a1c
commit ba0ecb5
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 3 deletions.
diff --git a/gui/src/main/java/org/jboss/as/console/client/tools/BrowserView.java b/gui/src/main/java/org/jboss/as/console/client/tools/BrowserView.java
@@ -68,10 +68,12 @@ private void create() {
         window.setGlassEnabled(true);
 
         tree = new Tree();
+        tree.getElement().addClassName("browser-tree");
         tree.addSelectionHandler(new SelectionHandler<TreeItem>() {
             @Override
             public void onSelection(SelectionEvent<TreeItem> selection) {
-                final LinkedList<String> path = resolvePath(selection.getSelectedItem());
+                TreeItem selectedItem = selection.getSelectedItem();
+                final LinkedList<String> path = resolvePath(selectedItem);
 
                 rawView.clearDisplay();
                 descView.clearDisplay();

diff --git a/gui/src/main/java/org/jboss/as/console/client/tools/DescriptionView.java b/gui/src/main/java/org/jboss/as/console/client/tools/DescriptionView.java
@@ -93,9 +93,9 @@ public void updateDescription(ModelNode address, ModelNode description)
                 .appendEscaped(sb.toString())
                 .appendHtmlConstant("</h1>");
 
-        builder.appendHtmlConstant("<h2 class='doc-description'>")
+        builder.appendHtmlConstant("<p class='content-description'>")
                 .appendEscaped(description.get("description").asString())
-                .appendHtmlConstant("</h2>");
+                .appendHtmlConstant("</p>");
 
         header.setHTML(builder.toSafeHtml());
 

diff --git a/gui/src/main/java/org/jboss/as/console/public/lab.css b/gui/src/main/java/org/jboss/as/console/public/lab.css
@@ -161,4 +161,13 @@ a:hover, a:active { outline: none; }
 
 input[type="checkbox"] {
     width: 15px!important;
+}
+
+.browser-tree .gwt-TreeItem {
+    color: #404040;
+}
+
+.browser-tree .gwt-TreeItem-selected {
+    font-weight: BOLD;
+    color: #000000;
 }