4 background-color : rgb(80, 120, 100);
9 font-family : sans-serif ;
15 font-family : sans-serif ;
20 background : rgb(80, 120, 150) ;
32 border-width : medium ;
34 border-collapse : collapse;
40 font-family : sans-serif ;
46 border-style : solid ;
50 /* Table styles for diff-like views */
55 font-family : sans-serif ;
61 font-family : sans-serif ;
67 font-family : sans-serif ;