4 background-color : rgb(80, 120, 100);
9 font-family : sans-serif ;
15 font-family : sans-serif ;
20 font-family : sans-serif ;
26 background : rgb(80, 120, 150) ;
38 border-width : medium ;
39 border-style : solid ;
40 border-collapse : collapse;
46 font-family : sans-serif ;
49 border-style : solid ;
50 vertical-align : top ;
67 border-style : solid ;
71 /* Table styles for diff-like views */
76 font-family : sans-serif ;
82 font-family : sans-serif ;
88 font-family : sans-serif ;