text-decoration: line-through;
}
-div.edit a {
+.edit-options {
margin-top: 3em;
float: right;
-}
-
-div.edit {
- border-bottom: 1px dashed #eee;
+ text-align: center;
+
}
div.edit pre {
}
.edit-unknown {
- border: 3px dotted #888;
+ border-bottom: 1px dotted #ccc;
}
.edit-found {