FILES
=====

README			this file
infolab-logo.*		plain infolab logo in different formats
infolab-logo-tm.*	infolab logo with TM symbol, in different formats
infolab-logo-name.*	infolab logo with the lab name
infolab-logo-tm-name.*	infolab logo with TM and lab name

NOTE: The .gif files above are intended for white background only;
see the intructions below for making .gif for other background
colors.

bgcolor-*/		.gif files with other backgrounds
background/		.gif files for homepage backgrounds
small/			smaller .gif files
latex*/			latex-related; each directory has its own README


CONVERTING FILES TO DIFFERENT FORMATS
=====================================

In the following, replace "logo" in file names with "infolab-logo",
"infolab-logo-tm", or "infolab-logo-name", etc.

logo.fig -> logo.ps
logo.fig -> logo.eps

	> xfig logo.fig
	Then export in the Postscript/Encapsulated Postscript format.

logo.ps -> logo.gif:

	Basic tools are xv, convert (from ImageMagick, available
	in /usr/pubsw/X/bin on Sun's), and giftool (available in
	/usr/pubsw/bin on Sun's).

	For an interlaced, transparent image anti-aliased for white background:
	> convert -rotate '90\<' -density 288 -geometry 12.25% logo.ps tmp.gif
	Convert will do anti-aliasing automatically.
	> xv tmp.gif
	Pad the image with white, increasing both width and height by about
	10 pixels;
	Run the blur algorithm with a mask size of 3;
	Half the image size;
	Crop;
	Save as logo.gif.
	> giftool -B -rgb 255,255,255 -i logo.gif

	To create an anti-aliased image for a background other than
	white, there are several ways:

	1.  Hack the postscript file: change srgb macros for
	foreground and background, and also remember to get rid
	of explict setgray's.  I don't know any way to set the
	background color for a postcript file except drawing a
	filled rectangle with the background color.  Then, follow
	pretty much the same instructions above.

	2.  First use ps2gif to get an image that is not
	anti-aliased.  Use xpaint to fill in the background color
	(and/or foreground).  Then, use xv to blur the image and
	reduce it to the desired size.	Finally, use giftool to
	make the background color transparent.

	3.  (Easiest.)	Follow the same instructions above for
	producing an anti-aliased image for white background.
	Then use xv color editor's modification tool.  Adjust the
	end points of RGB curves so that white is mapped to the new
	background color; adjust the start points of RGB curves
	so that black is mapped to the new foreground color.
	Of course, also adjust midpoints (or get rid of them)
	for smooth curves.  By varying the shape of RGB curves,
	different effects can be achieved.