-.menu, .navigation
+.navigation, .lmenu, .rmenu
{
overflow: hidden;
display: none;
{
font-weight: bold;
}
-.itemdescription, .description
+.itemnote, .note
{
font-style: italic;
font-weight: bold;
{
font-style: italic;
}
-.comment, .unseen-comment, .main-comment
+.history, .unseen-history, .main-history
{
border-bottom: dotted;
border-bottom-width: 1px;
}
+form.jump
+{
+ display: none;
+ overflow: hidden;
+}