Added user preference for disabling visual effects in Javascript applets; added re-import button to installed plugins
ins {
border-bottom: 1px solid green;
text-decoration: none;
color: green;
}
del {
color: Red;
text-decoration: line-through;
}
cite {
border-bottom: 1px dashed blue;
}
acronym {
border-bottom: 1px dotted #CCC;
cursor: help;
}
abbr, html\:abbr {
border-bottom: 1px dashed #CCC;
cursor: help;
}