improve divider appearance in dark mode

sky/sdk/lib/widgets/menu_divider.dart

 // Copyright 2015 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 import 'basic.dart';
+import 'theme.dart';
 
 class MenuDivider extends Component {
   MenuDivider({ String key }) : super(key: key);
 
+  Color get color {
+    switch(Theme.of(this).brightness) {
+      case ThemeBrightness.light:
+        return const Color.fromARGB(31, 0, 0, 0);
+      case ThemeBrightness.dark:
+        return const Color.fromARGB(31, 255, 255, 255);

[abarth-chromium, 2015/07/07 00:31:35]

Do these values come from somewhere?  Should they be part of the theme so we
don't have to copy/pasta them in stocks row?

[jackson, 2015/07/07 00:59:20]

Done.

+    }
+  }
+
   Widget build() {
     return new Container(
       height: 0.0,
-      decoration: const BoxDecoration(
-        border: const Border(
-          bottom: const BorderSide(
-            color: const Color.fromARGB(31, 0, 0, 0)
+      decoration: new BoxDecoration(
+        border: new Border(
+          bottom: new BorderSide(
+            color: color
           )
         )
       ),
       margin: const EdgeDims.symmetric(vertical: 8.0)
     );
   }
 }