font-family : sans-serif ;
}
+h2.error
+{
+ font-family : sans-serif ;
+ color : red;
+}
+
div.login
{
background : rgb(80, 120, 150) ;
}
table
{
- width : 80% ;
+ width : 90% ;
border-width : medium ;
- border-style : none ;
+ border-style : solid ;
border-collapse : collapse;
padding : 1px ;
}
td
{
font-family : sans-serif ;
+ text-align : left ;
+ border-width : thin ;
+ border-style : solid ;
+ vertical-align : top ;
+ padding : 2px ;
+}
+
+td.number
+{
+ text-align : right ;
+}
+
+td.time
+{
+ width : 18em ;
}
th
border-width : thin ;
border-style : solid ;
}
+
+
+/* Table styles for diff-like views */
+
+td.left
+{
+ color : blue ;
+ font-family : sans-serif ;
+}
+
+td.right
+{
+ color : lightgreen ;
+ font-family : sans-serif ;
+}
+
+td.both
+{
+ color : red ;
+ font-family : sans-serif ;
+}
+
+textarea
+{
+ width : 60em ;
+ height : 10em ;
+}