# # The path where jdvi will search for pk fonts. This must be a ";" separated list of # URLs # jdvi.font.path=file:/var/cache/fonts/pk/cx/public/cm/;file:/var/cache/fonts/pk/ljfour/public/cm/;file:/var/cache/fonts/pk/ljfour/ams/symbols/;file:/var/cache/fonts/pk/ljfour/public/latex/;file:/var/cache/fonts/pk/ljfour/ams/euler/;file:/var/cache/fonts/pk/ljfour/ams/cmextra/ # # The following one configures the way fonts are named on your system: # It may be set any string where %dpi% will be replaced by the needed # resolution and %name% by the name of the font. # given the (default) string %name%.%dpi%pk jDvi would try to find the font # cmr10 at 600dpi under the name cmr12.600pk. If the streing was # %dpi%/%name%.pk it would try 600/cmr10.pk (i.e. it would look in a # subdirectory 600 for the file cmr10.pk). # #jdvi.font.nameformat=%dpi%/%name%.pk # if the following is not null (i.e. defined) the jdvi application will store # the decompressed fonts in a file with the given file name and # the application and the applet will try to read this file at load time # to prevent the font loading and decompression. #jdvi.font.cache=jDviFonts # # This one is probably rarely used: If jdvi.font.alpha equals "true" the # scaled images generated from the character bitmaps will use alpha for # antialiasing. This definitely looks better on colored backgrounds # but since java 1.1 only has 1 bit alpha it does only work with JAVA 1.2 or # higher. So if you want to but a document on the web don't enable the alpha # when writing the font cache! # #jdvi.font.alpha=true #jdvi.scribbleFile.save=true #jdvi.scribbleFile.name=jDvisave.sbl # # The following defines jdvi's "home" resolution in dpi. This defaults to 300 # #jdvi.resolution=300 jdvi.resolution=600 # # The following two set the default paper size in inch. They default to a4 paper. # # a4 jdvi.paper.width=8.26 jdvi.paper.height=11.69 # a4r #jdvi.paper.width=11.69 #jdvi.paper.height=8.26 # # The program jDvi tries to call with external urls: # jdvi.browser=netscape jdvi.color.textColor=0x0 jdvi.color.linkColor=0xff jdvi.color.targetColor=0x3ff7a #jdvi.color.scribbleColor=0x3ff7a # # The following are the file extensions, that jdvi will try as replacements for # ps or eps files in PSfile specials. # jdvi.image.formats=gif;jpg;jpeg # # The following are named color definitions that are extracted from the color.pro file # of my dvips distribution. # # GreenYellow is in cmyk 0.15,0,0.69,0 jdvi.color.GreenYellow=0xd9ff4f # Yellow is in cmyk 0,0,1,0 jdvi.color.Yellow=0xffff00 # Goldenrod is in cmyk 0,0.10,0.84,0 jdvi.color.Goldenrod=0xffe629 # Dandelion is in cmyk 0,0.29,0.84,0 jdvi.color.Dandelion=0xffb529 # Apricot is in cmyk 0,0.32,0.52,0 jdvi.color.Apricot=0xffad7a # Peach is in cmyk 0,0.50,0.70,0 jdvi.color.Peach=0xff804d # Melon is in cmyk 0,0.46,0.50,0 jdvi.color.Melon=0xff8a80 # YellowOrange is in cmyk 0,0.42,1,0 jdvi.color.YellowOrange=0xff9400 # Orange is in cmyk 0,0.61,0.87,0 jdvi.color.Orange=0xff6321 # BurntOrange is in cmyk 0,0.51,1,0 jdvi.color.BurntOrange=0xff7d00 # Bittersweet is in cmyk 0,0.75,1,0.24 jdvi.color.Bittersweet=0xc23000 # RedOrange is in cmyk 0,0.77,0.87,0 jdvi.color.RedOrange=0xff3b21 # Mahogany is in cmyk 0,0.85,0.87,0.35 jdvi.color.Mahogany=0xa61916 # Maroon is in cmyk 0,0.87,0.68,0.32 jdvi.color.Maroon=0xad1737 # BrickRed is in cmyk 0,0.89,0.94,0.28 jdvi.color.BrickRed=0xb8140b # Red is in cmyk 0,1,1,0 jdvi.color.Red=0xff0000 # OrangeRed is in cmyk 0,1,0.50,0 jdvi.color.OrangeRed=0xff0080 # RubineRed is in cmyk 0,1,0.13,0 jdvi.color.RubineRed=0xff00de # WildStrawberry is in cmyk 0,0.96,0.39,0 jdvi.color.WildStrawberry=0xff0a9c # Salmon is in cmyk 0,0.53,0.38,0 jdvi.color.Salmon=0xff789e # CarnationPink is in cmyk 0,0.63,0,0 jdvi.color.CarnationPink=0xff5eff # Magenta is in cmyk 0,1,0,0 jdvi.color.Magenta=0xff00ff # VioletRed is in cmyk 0,0.81,0,0 jdvi.color.VioletRed=0xff30ff # Rhodamine is in cmyk 0,0.82,0,0 jdvi.color.Rhodamine=0xff2eff # Mulberry is in cmyk 0.34,0.90,0,0.02 jdvi.color.Mulberry=0xa519fa # RedViolet is in cmyk 0.07,0.90,0,0.34 jdvi.color.RedViolet=0x9d11a8 # Fuchsia is in cmyk 0.47,0.91,0,0.08 jdvi.color.Fuchsia=0x7c15eb # Lavender is in cmyk 0,0.48,0,0 jdvi.color.Lavender=0xff85ff # Thistle is in cmyk 0.12,0.59,0,0 jdvi.color.Thistle=0xe069ff # Orchid is in cmyk 0.32,0.64,0,0 jdvi.color.Orchid=0xad5cff # DarkOrchid is in cmyk 0.40,0.80,0.20,0 jdvi.color.DarkOrchid=0x9933cc # Purple is in cmyk 0.45,0.86,0,0 jdvi.color.Purple=0x8c24ff # Plum is in cmyk 0.50,1,0,0 jdvi.color.Plum=0x8000ff # Violet is in cmyk 0.79,0.88,0,0 jdvi.color.Violet=0x361fff # RoyalPurple is in cmyk 0.75,0.90,0,0 jdvi.color.RoyalPurple=0x4019ff # BlueViolet is in cmyk 0.86,0.91,0,0.04 jdvi.color.BlueViolet=0x2216f5 # Periwinkle is in cmyk 0.57,0.55,0,0 jdvi.color.Periwinkle=0x6e73ff # CadetBlue is in cmyk 0.62,0.57,0.23,0 jdvi.color.CadetBlue=0x616ec4 # CornflowerBlue is in cmyk 0.65,0.13,0,0 jdvi.color.CornflowerBlue=0x59deff # MidnightBlue is in cmyk 0.98,0.13,0,0.43 jdvi.color.MidnightBlue=0x37e91 # NavyBlue is in cmyk 0.94,0.54,0,0 jdvi.color.NavyBlue=0xf75ff # RoyalBlue is in cmyk 1,0.50,0,0 jdvi.color.RoyalBlue=0x80ff # Blue is in cmyk 1,1,0,0 jdvi.color.Blue=0xff # Cerulean is in cmyk 0.94,0.11,0,0 jdvi.color.Cerulean=0xfe3ff # Cyan is in cmyk 1,0,0,0 jdvi.color.Cyan=0xffff # ProcessBlue is in cmyk 0.96,0,0,0 jdvi.color.ProcessBlue=0xaffff # SkyBlue is in cmyk 0.62,0,0.12,0 jdvi.color.SkyBlue=0x61ffe0 # Turquoise is in cmyk 0.85,0,0.20,0 jdvi.color.Turquoise=0x26ffcc # TealBlue is in cmyk 0.86,0,0.34,0.02 jdvi.color.TealBlue=0x23faa5 # Aquamarine is in cmyk 0.82,0,0.30,0 jdvi.color.Aquamarine=0x2effb3 # BlueGreen is in cmyk 0.85,0,0.33,0 jdvi.color.BlueGreen=0x26ffab # Emerald is in cmyk 1,0,0.50,0 jdvi.color.Emerald=0xff80 # JungleGreen is in cmyk 0.99,0,0.52,0 jdvi.color.JungleGreen=0x3ff7a # SeaGreen is in cmyk 0.69,0,0.50,0 jdvi.color.SeaGreen=0x4fff80 # Green is in cmyk 1,0,1,0 jdvi.color.Green=0xff00 # ForestGreen is in cmyk 0.91,0,0.88,0.12 jdvi.color.ForestGreen=0x14e01b # PineGreen is in cmyk 0.92,0,0.59,0.25 jdvi.color.PineGreen=0xfbf4e # LimeGreen is in cmyk 0.50,0,1,0 jdvi.color.LimeGreen=0x80ff00 # YellowGreen is in cmyk 0.44,0,0.74,0 jdvi.color.YellowGreen=0x8fff42 # SpringGreen is in cmyk 0.26,0,0.76,0 jdvi.color.SpringGreen=0xbdff3d # OliveGreen is in cmyk 0.64,0,0.95,0.40 jdvi.color.OliveGreen=0x379908 # RawSienna is in cmyk 0,0.72,1,0.45 jdvi.color.RawSienna=0x8c2700 # Sepia is in cmyk 0,0.83,1,0.70 jdvi.color.Sepia=0x4d0d00 # Brown is in cmyk 0,0.81,1,0.60 jdvi.color.Brown=0x661300 # Tan is in cmyk 0.14,0.42,0.56,0 jdvi.color.Tan=0xdb9470 # Gray is in cmyk 0,0,0,0.50 jdvi.color.Gray=0x808080 # Black is in cmyk 0,0,0,1 jdvi.color.Black=0x0 # White is in cmyk 0,0,0,0 jdvi.color.White=0xffffff