Rev 3437 | Details | Compare with Previous | Last modification | View Log | RSS feed
<style>
.editor_button{
padding:0.1em 0.7em;
font-style:italic;
background-color:#DFDFDF;
border:1px solid #666;
font-Family:"Times";
}
</style>
!read help/$lang/JS_editor.html