4 background-color : rgb(120, 180, 150);
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 ;
111 font-family : sans-serif ;
122 border-style : none ;
133 border-bottom : 1px solid #cccccc;
144 border-bottom : 0px solid #cccccc;
151 margin : 0px 0px 0px 5px;
155 padding-right : 12px;
157 border-left : 0px solid #cccccc;
169 border-top : 1px solid #cccccc;
174 font-family : sans-serif;