/* Buttons that change data are small POST forms now (they were plain links);
   this makes them look like the old links. */
form.post-link { display: inline; margin: 0; padding: 0; }
form.post-link button {
    background: none; border: 0; padding: 0; margin: 0;
    font: inherit; color: inherit; text-decoration: underline; cursor: pointer;
}