+
+/* Edit buttons. */
+div.edit_buttons {
+ font-size: 70%;
+}
+
+div.edit_buttons a {
+ margin-right: 3px;
+ padding: 3px;
+ border: 2px outset #dcdad5;
+ text-decoration: none;
+ color: #000;
+ background-color: #dcdad5;
+ cursor: pointer;
+ cursor: hand;
+}
+
+div.edit_buttons span.spacer {
+ margin-left: 1em;
+}
\ No newline at end of file