Rev 3437 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3437 | Rev 13862 | ||
---|---|---|---|
Line 1... | Line 1... | ||
1 | <style |
1 | <style> |
2 | .editor_button{ |
2 | .editor_button{ |
3 | padding:0.1em 0.7em; |
3 | padding:0.1em 0.7em; |
4 | font-style:italic; |
4 | font-style:italic; |
5 | background-color:#DFDFDF; |
5 | background-color:#DFDFDF; |
6 | border:1px solid #666; |
6 | border:1px solid #666; |
7 | font-Family:"Times"; |
7 | font-Family:"Times"; |
8 | } |
8 | } |
9 | </style> |
9 | </style> |
10 | 10 | ||
11 | !read help/$lang/JS_editor.html |
11 | !read help/$lang/JS_editor.html |