Adds TextStyle decoration, decorationColor, decorationStyle

sky/examples/widgets/styled_text.dart

Index: sky/examples/widgets/styled_text.dart
diff --git a/sky/examples/widgets/styled_text.dart b/sky/examples/widgets/styled_text.dart
index 1c3c432de103436316044f1010fdf8b7bc454e02..f9c98045498c443a144d2ea1f0829b2e7a1d4c35 100644
--- a/sky/examples/widgets/styled_text.dart
+++ b/sky/examples/widgets/styled_text.dart
@@ -43,13 +43,14 @@ HAL: This mission is too important for me to allow you to jeopardize it.''';
 
   final TextStyle daveStyle = new TextStyle(color: Indigo[400]);
   final TextStyle halStyle = new TextStyle(color: Red[400], fontFamily: "monospace");
-  final TextStyle boldStyle = new TextStyle(fontWeight: bold);
+  final TextStyle boldStyle = const TextStyle(fontWeight: bold);
+  final TextStyle underlineStyle = const TextStyle(decoration: underline);
   
   Component toStyledText(String name, String text) {
     TextStyle lineStyle = (name == "Dave") ? daveStyle : halStyle;
     return new StyledText(
       key: text,
-      elements: [lineStyle, [boldStyle, name + ":"], text]
+      elements: [lineStyle, [boldStyle, [underlineStyle, name], ":"], text]
     );
   }