1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
$Id$
Notes about how I made the icons and logos here (not in core distribution).
============================================================================
David Aspinall <da@dcs.ed.ac.uk>
ICONS
=====
Made with the Gimp.
Icons to fit on the (default size) Emacs toolbars are 32x32. The ones
with pictures were made at 256x256, then shrunk to have text added.
Background grey is V74.
Red for buttons is 135,13,13.
Red background for web is 80,0,48
CD player buttons based on font wptypographicsymbols, point size 28,
placed at 5,2.
Text is lucidafax demibold italic at point size 8.
blank.xcf -- blank with correct background colour.
Some icons I drew, some I stole from free sources.
"Favicon" ident icon for web page: made from a 16x16 scaled down image of
the general, making background colour transparent, save as gif then:
convert pgminia.gif pgminia.ppm (ImageMagick)
ppmtowinicon pgminia.ppm > favicon.ico
Seems to work.
See http://msdn.microsoft.com/workshop/Author/dhtml/howto/ShortcutIcon.asp
and http://www.favicon.com
LOGOS
=====
Original text logo:
script fu -> logos -> comic book
StencilBT font
Browns gradient
40pt Text size
4pt outline (NB: size of both black and shaded portion)
Then I filled background with web page colour, and shaded portion
with green colour.
New text logo: same font, but made in blender file.
Proof general logos
===================
Web page: scene with canvas backdrop. Render in blender at full size,
then use gimp to scale to web size (250pix wide). This gives much
nicer result than low-resolution render: textures are smoothed out
more prettily.
EPS (doc/ProofGeneral.eps): For texi documentation. Used another,
wider image with alpha channel to (attempt to) leave background white
on printed page. Post processing with gimp to add fuzzy border and
white background since eps (gimp?) can't handle alpha channel.
Width 5.00 "
Height 7.87 (wrong, obviously: 3.48 is right by scaling)
But: this is *page* size! The image size itself
was square, I think.
Size of tiff image is 904x903.
X-offset 2.8 "
Y-offset 1.0 "
Rotation: 0
Actually, Y-offset seems to have no effect on page position: what
happens is that TeX compensates for the offset when it inserts the
image! Changing the offset and retexing puts the image back where TeX
wants it. Probably same true for X offset.
Solving the size problem: original .eps is 8.4M. (Original xcf file
is missing/not saved).
Test procedure:
1. render at 239dpi (original file seems to have 1200x1200 image in
it, this is closest I can get, makes 1199x1199 image).
2. save as pnm (gives 4.1M file)
3. Run pnmtoeps with -rle argument to get run length encoding. (4.1M)
4. gzip -9 -> gives 1.6M file.
Just using gzip directly gives 1.6M file anyway.
tiff is 1.5M. png is 1.2M. bz2 is 1.3M.
Okay, so we'll distribute the original .eps file, gzipped.
(It gets compressed inside the tar file anyway, of course, but
leaving it zipped is less polluting).
Badges
======
These were cut out from a close-up view of Proof General's chest.
|
