text-decoration: line-through;
}
-.edit-options {
- margin-top: 3em;
- float: right;
- text-align: center;
-
-}
+/* /changes/edits */
div.edit pre {
color: #000;
}
-.edit-unknown {
- border-bottom: 1px dotted #ccc;
+tr.unknown {
+ background: #eee;
+}
+
+tr.found {
+ background: #cfc;
}
-.edit-found {
- border: 3px dotted #cfc;
+tr.missing {
+ background: #fcc;
}
-.edit-missing {
- border: 3px dotted #fcc;
+tr.hidden {
+ display: none;
}