Turn on wavy underlines. The waves aren't very pretty yet (they are too short somehow), I'll fix th…

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 f9c98045498c443a144d2ea1f0829b2e7a1d4c35..4ce79bd63a6c115c4bed8d2d80bf71030960445e 100644
--- a/sky/examples/widgets/styled_text.dart
+++ b/sky/examples/widgets/styled_text.dart
@@ -44,7 +44,11 @@ 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 = const TextStyle(fontWeight: bold);
-  final TextStyle underlineStyle = const TextStyle(decoration: underline);
+  final TextStyle underlineStyle = const TextStyle(
+    decoration: underline,
+    decorationColor: const Color(0xFF000000),
+    decorationStyle: TextDecorationStyle.wavy
+  );
   
   Component toStyledText(String name, String text) {
     TextStyle lineStyle = (name == "Dave") ? daveStyle : halStyle;