+
+.permalink {
+ font-size: 0.8em;
+ text-align: right;
+}
+
+.hidden_details {
+ /* hidden, and then toggled, from Javascript. */
+ border: 1px solid transparent;
+ /* without this invisible border there is a jump at the end of the
+ animation. */
+ padding-top: -1em;
+}
+
+.tag_link {
+ font-weight: bold;
+ text-decoration: none;
+}