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) ;
39 border-width : medium ;
40 border-style : solid ;
41 border-collapse : collapse;
48 border-collapse : collapse;
54 font-family : sans-serif ;
57 border-style : solid ;
58 vertical-align : top ;
64 font-family : sans-serif ;
67 vertical-align : top ;
84 border-style : solid ;
88 /* Table styles for diff-like views */
93 font-family : sans-serif ;
99 font-family : sans-serif ;
105 font-family : sans-serif ;
116 border-style : none ;