Using CSS styles: Difference between revisions

From JSXGraph Wiki
No edit summary
No edit summary
Line 10: Line 10:
.myFontHigh {
.myFontHigh {
     font-family: Palatino, "Palatino Linotype", "Palatino LT STD", "Book Antiqua", Georgia, serif;
     font-family: Palatino, "Palatino Linotype", "Palatino LT STD", "Book Antiqua", Georgia, serif;
     border: 1px dash black;
     border: 1px dashed black;
     padding: 5px;
     padding: 5px;
     border-radius:5px;
     border-radius:5px;

Revision as of 09:08, 10 October 2012

The JavaScript code