home *** CD-ROM | disk | FTP | other *** search
- class HTMLFont {
- static String GetFontName(int var0) {
- if (var0 == 1) {
- return "Helvetica";
- } else if (var0 == 2) {
- return "Courier";
- } else {
- return var0 == 3 ? "TimesRoman" : "TimesRoman";
- }
- }
-
- static int getSize(int var0) {
- if (var0 == 1) {
- return 10;
- } else if (var0 == 2) {
- return 12;
- } else if (var0 == 3) {
- return 14;
- } else if (var0 == 4) {
- return 18;
- } else if (var0 == 5) {
- return 24;
- } else if (var0 == 6) {
- return 36;
- } else if (var0 == 7) {
- return 48;
- } else {
- return var0 > 7 ? var0 : 12;
- }
- }
-
- static int SetFontID(String var0) {
- if (var0.equalsIgnoreCase("arial")) {
- return 1;
- } else if (var0.equalsIgnoreCase("helvetica")) {
- return 1;
- } else if (var0.equalsIgnoreCase("courier")) {
- return 2;
- } else if (var0.equalsIgnoreCase("times roman")) {
- return 3;
- } else if (var0.equalsIgnoreCase("times new roman")) {
- return 3;
- } else {
- return var0.equalsIgnoreCase("timesroman") ? 3 : 0;
- }
- }
- }
-