Added new buttons. (xbm files currently missing, some icons not made yet, confusingly copied old ones.

15 files changed, 1128 insertions, 3 deletions

diff --git a/images/Makefile b/images/Makefile
index 58b5eec9..14555338 100644
--- a/images/Makefile
+++ b/images/Makefile
@@ -19,7 +19,7 @@
 ###########################################################################
 
 # Sources
-BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf
+BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf show.xcf context.xcf info.xcf command.xcf
 WEBPIX=isabelle_transparent.xcf ProofGeneral.xcf pg-text.xcf
 
 # Targets for html directory
@@ -41,7 +41,7 @@ default: all
 
 images: all
 
-all: buttons webpix
+all: buttons backgroundize-xpm webpix
 
 dist:   all install distclean
 
@@ -53,6 +53,9 @@ dist:   all install distclean
 backgroundize-xpm: $(BUTTONS)
 	for f in *.xpm; do sed 's/#BCBCBC"/#BCBCBC s backgroundToolBarColor"/g' $$f > $$f.new; mv $$f.new $$f; done
 
+# NB: gimp sometimes fails with this argument, in case it is built
+# without support for one of the image formats, e.g. xbm.
+# (Happens with gimp from Mandrake 6.0, for example)
 buttons: $(BUTTONS)
 	$(GIMP) '(script-fu-proofgeneral-make-all-buttons 1)' '(gimp-quit 0)'
 	$(MAKE) backgroundize-xpm
diff --git a/images/command.8bit.xpm b/images/command.8bit.xpm
new file mode 100644
index 00000000..aecfe9ea
--- /dev/null
+++ b/images/command.8bit.xpm
@@ -0,0 +1,44 @@
+/* XPM */
+static char * command_8bit_xpm[] = {
+"32 32 9 1",
+" 	c None",
+".	c #0A0A0B",
+"+	c #78696B",
+"@	c #424240",
+"#	c #9F9A9A",
+"$	c #860E0C",
+"%	c #9A4644",
+"&	c #A48283",
+"*	c #BEBEBC",
+"********************************",
+"*****%%%%%%%%%%%%%%%%%%%%%+*****",
+"*****$$$$$$$$$$$$$$$$$$$$$%*****",
+"*****$%&&&&&&&&&&&&&&&&&&$%*****",
+"*****$%******************$%*****",
+"*****$%******************$%*****",
+"*****$%**&$$$$$$$$$$$$&**$%*****",
+"*#***$%***&$$$$$$$$$$$***$%*****",
+"*****$%****$$$$$$$$$$%***$%*****",
+"*****$%****%$$$$$$$$$****$%#****",
+"*****$%*****$$$$$$$$%****$%*****",
+"**#**$%*****$$$$$$$$##***$%*****",
+"*****$%******$$$$$$$*****$%*****",
+"*****$%******$$$$$$%*****$%*****",
+"*****$%*******$$$$$******$%*****",
+"*****$%#******$$$$$******$%#****",
+"*****$%********$$$***#***$%*****",
+"**#**$%**&$$$$$$$$$$$$$**$%*****",
+"*****$%**&$$$$$$$$$$$$$**$%*****",
+"*****$%******************$%*****",
+"*****$%******************$%*****",
+"*****$$%%%%%%%%%%%%%%%%%%$%#****",
+"*****$$$$$$$$$$$$$$$$$$$$$%*****",
+"**#**&&&&&&&&&&&&&&&&&&&&&#*****",
+"********************************",
+"*********@.+*..*****************",
+"*********+.**@##@@#*+@&**#******",
+"***#*****@@**.*.+&*@+@@*********",
+"*********.+*#@*+.+#.@@**********",
+"*********.+*++##+.+.##+****#****",
+"*****#***#@@+*&@@#*@@+#*********",
+"********************************"};
diff --git a/images/command.xcf b/images/command.xcf
new file mode 100644
index 00000000..c4d68aac
--- /dev/null
+++ b/images/command.xcf
diff --git a/images/command.xpm b/images/command.xpm
new file mode 100644
index 00000000..767f5147
--- /dev/null
+++ b/images/command.xpm
@@ -0,0 +1,61 @@
+/* XPM */
+static char * command_xpm[] = {
+"32 32 26 1",
+" 	c None",
+".	c #BCBCBC s backgroundToolBarColor",
+"+	c #984747",
+"@	c #A46E6E",
+"#	c #870D0D",
+"$	c #923434",
+"%	c #AA8181",
+"&	c #B19A9A",
+"*	c #AC8888",
+"=	c #891515",
+"-	c #A06262",
+";	c #902D2D",
+">	c #B09494",
+",	c #9D5858",
+"'	c #860C0C",
+")	c #8D2020",
+"!	c #B09595",
+"~	c #3E3E3E",
+"{	c #000000",
+"]	c #686868",
+"^	c #151515",
+"/	c #2A2A2A",
+"(	c #7D7D7D",
+"_	c #A7A7A7",
+":	c #929292",
+"<	c #545454",
+"................................",
+".....+++++++++++++++++++++@.....",
+".....#####################+.....",
+".....#$%%%%%%%%%%%%%%%%%%#+.....",
+".....#+..................#+.....",
+".....#+..................#+.....",
+".....#+..&############*..#+.....",
+".....#+...&##########=...#+.....",
+".....#+....##########-...#+.....",
+".....#+....-#########....#+.....",
+".....#+.....########;....#+.....",
+".....#+.....########>....#+.....",
+".....#+......#######.....#+.....",
+".....#+......######,.....#+.....",
+".....#+.......#####......#+.....",
+".....#+.......#####......#+.....",
+".....#+........###.......#+.....",
+".....#+..%#############..#+.....",
+".....#+..%#######'#####..#+.....",
+".....#+..................#+.....",
+".....#+..................#+.....",
+".....#)++++++++++++++++++#+.....",
+".....#####################+.....",
+".....%%%%%%%%%%%%%%%%%%%%%!.....",
+"................................",
+".........~{].^/.................",
+".........(^..~_:~~_.]~:.........",
+".........~~..{.{]:.~(~<.........",
+".........{(._~.({(:{~<_.........",
+".........^].]]::]{({__(.........",
+".........:~~].:~~:.<~]_.........",
+"................................"};
diff --git a/images/context.8bit.xpm b/images/context.8bit.xpm
new file mode 100644
index 00000000..0c2d2591
--- /dev/null
+++ b/images/context.8bit.xpm
@@ -0,0 +1,44 @@
+/* XPM */
+static char * context_8bit_xpm[] = {
+"32 32 9 1",
+" 	c None",
+".	c #252920",
+"+	c #6B8F5E",
+"@	c #86D56F",
+"#	c #BEBFBB",
+"$	c #DBEBD6",
+"%	c #705840",
+"&	c #860E0C",
+"*	c #9F9784",
+"################################",
+"#*%****%****%****%****%****%***#",
+"#%&&&&&&&&&&&&&&&&&&&&&&&&&&&&&#",
+"#%&%&%%&%%&%%%&%%&%%&%%&%%&%%&&#",
+"##$$$@$#@#@@@@@@@@@@@@@@@@@@@@@#",
+"#@$@#++%++%*@@@@@@@@@@@+@@++@@@#",
+"#$$+*%%*+.%.%.%.++..%....%++%@@#",
+"#$***#$%@%*+%%%%%%%.%.++@+.+%+@#",
+"#$+*#@$%$+@++@@@%@@+@@+@+@%%.+@#",
+"#$+#*@$+#@.%%$+@+@@.++%@+@%%+.@#",
+"#$%##*#+.*+@.@+%+.++@@%+.@%@+.@#",
+"#$*#*.*$*#+$#%@+$+@@+@+@+@%@.%+#",
+"#$%#$+$#%+%@+%+%++$@#++@+@%+%+%#",
+"#$%#$++***%+#$$$$*+++@@+++%...%#",
+"#$%##%#$#%$$$$$$$$$$$$@$@$%%%%@#",
+"#$%$$%$*+$$$$$$$$$$$$$$$@$%+%$@#",
+"#$%$$#%*$$$$$$$$$$$$$$$$$$%+%@$#",
+"#$%$*%$$$$$$$$$$$$$$$$$$$$%@$@$#",
+"#$%$*$$$$$$$$$$$$$$$$$$$$$**$$@#",
+"#$%$$$$$$$$$$$$$$$$$$$$$$$##$$$#",
+"#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$#",
+"#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$#",
+"#%&&&&&&&&&&&&&&&&&&&&&&&&&&&&&#",
+"#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%#",
+"#######################*%*######",
+"########%...*##########*.*######",
+"#######..##**#%.%##%..**.*######",
+"######*.*####%%*.+%%#.**.#######",
+"######%.*#..%.##.%.#%.#%%#######",
+"######*.%#.%%.*..%.%..#.%#######",
+"#######*.%%*#%.+#*.+%.#.+#######",
+"################################"};
diff --git a/images/context.xcf b/images/context.xcf
new file mode 100644
index 00000000..f13fc83d
--- /dev/null
+++ b/images/context.xcf
diff --git a/images/context.xpm b/images/context.xpm
new file mode 100644
index 00000000..aa455b27
--- /dev/null
+++ b/images/context.xpm
@@ -0,0 +1,586 @@
+/* XPM */
+static char * context_xpm[] = {
+"32 32 551 2",
+"  	c None",
+". 	c #BCBCBC s backgroundToolBarColor",
+"+ 	c #B09595",
+"@ 	c #AA8181",
+"# 	c #984747",
+"$ 	c #870D0D",
+"% 	c #984848",
+"& 	c #8D2020",
+"* 	c #A8E1A3",
+"= 	c #A8E29F",
+"- 	c #A8E498",
+"; 	c #A1DF96",
+"> 	c #A3E098",
+", 	c #A2DB8D",
+"' 	c #A1CD74",
+") 	c #96CA6C",
+"! 	c #92D674",
+"~ 	c #8FDF77",
+"{ 	c #8FE176",
+"] 	c #8ADE73",
+"^ 	c #8BD974",
+"/ 	c #83DB71",
+"( 	c #7EDE68",
+"_ 	c #85DD67",
+": 	c #7BDF62",
+"< 	c #7CDD5C",
+"[ 	c #76DF60",
+"} 	c #6FDA52",
+"| 	c #75D857",
+"1 	c #74DF59",
+"2 	c #6DD552",
+"3 	c #6EDD53",
+"4 	c #6DDF53",
+"5 	c #6ADA5B",
+"6 	c #72D751",
+"7 	c #6FDA4E",
+"8 	c #6DE152",
+"9 	c #72DA51",
+"0 	c #B7E7A6",
+"a 	c #B3E9A6",
+"b 	c #B4E6A2",
+"c 	c #A4D694",
+"d 	c #6F8958",
+"e 	c #8C7F31",
+"f 	c #6E6D2E",
+"g 	c #6E7636",
+"h 	c #65793F",
+"i 	c #344A2D",
+"j 	c #6CA65C",
+"k 	c #7ABD6A",
+"l 	c #92DF7C",
+"m 	c #88D976",
+"n 	c #72B759",
+"o 	c #72BC5D",
+"p 	c #6EB656",
+"q 	c #69B94F",
+"r 	c #6FCC5B",
+"s 	c #71D15F",
+"t 	c #71D759",
+"u 	c #68CC4D",
+"v 	c #417C31",
+"w 	c #58B145",
+"x 	c #60CC4D",
+"y 	c #60A33A",
+"z 	c #579833",
+"A 	c #5DBA45",
+"B 	c #6EDD54",
+"C 	c #72DC58",
+"D 	c #BFECB1",
+"E 	c #BBE7AE",
+"F 	c #899C70",
+"G 	c #957829",
+"H 	c #A5781B",
+"I 	c #806720",
+"J 	c #958F43",
+"K 	c #807F38",
+"L 	c #4A4A20",
+"M 	c #41512F",
+"N 	c #1D2819",
+"O 	c #395533",
+"P 	c #243620",
+"Q 	c #406239",
+"R 	c #263A20",
+"S 	c #548246",
+"T 	c #5B8E4C",
+"U 	c #2F4F28",
+"V 	c #284024",
+"W 	c #375E2F",
+"X 	c #2A4922",
+"Y 	c #142610",
+"Z 	c #243E16",
+"` 	c #2F3D11",
+" .	c #516318",
+"..	c #5A862F",
+"+.	c #69A938",
+"@.	c #326026",
+"#.	c #70DC57",
+"$.	c #6BD953",
+"%.	c #C9E9BD",
+"&.	c #9AAE83",
+"*.	c #9D7E2F",
+"=.	c #9D975C",
+"-.	c #AECA8E",
+";.	c #AFD592",
+">.	c #65764D",
+",.	c #9AB173",
+"'.	c #6B6833",
+").	c #A1A14E",
+"!.	c #958D3B",
+"~.	c #71631D",
+"{.	c #72621E",
+"].	c #74621E",
+"^.	c #70621E",
+"/.	c #685817",
+"(.	c #645717",
+"_.	c #4F430F",
+":.	c #42390D",
+"<.	c #3F390D",
+"[.	c #433D0E",
+"}.	c #6D7020",
+"|.	c #799D39",
+"1.	c #7BBA48",
+"2.	c #718A2A",
+"3.	c #284519",
+"4.	c #4A933D",
+"5.	c #285022",
+"6.	c #4E9C38",
+"7.	c #6DDE50",
+"8.	c #CCE6CA",
+"9.	c #8E9972",
+"0.	c #ACA260",
+"a.	c #8EA98A",
+"b.	c #A6C69E",
+"c.	c #BEE2B1",
+"d.	c #63795A",
+"e.	c #B8E6AC",
+"f.	c #81A174",
+"g.	c #81A47A",
+"h.	c #7BA172",
+"i.	c #66895D",
+"j.	c #A2E895",
+"k.	c #7AB078",
+"l.	c #90C77B",
+"m.	c #537848",
+"n.	c #A3E086",
+"o.	c #94D278",
+"p.	c #57763E",
+"q.	c #90D16F",
+"r.	c #88C96A",
+"s.	c #558E4F",
+"t.	c #86DF70",
+"u.	c #5EA450",
+"v.	c #80B247",
+"w.	c #3D5220",
+"x.	c #36622E",
+"y.	c #1F3916",
+"z.	c #39722D",
+"A.	c #6CDF54",
+"B.	c #D5EAD2",
+"C.	c #7A7B66",
+"D.	c #BDAE6C",
+"E.	c #98A690",
+"F.	c #A9C2A4",
+"G.	c #C8E3BD",
+"H.	c #7C9174",
+"I.	c #9DB48A",
+"J.	c #A6C79A",
+"K.	c #354031",
+"L.	c #455841",
+"M.	c #4D6645",
+"N.	c #AFE2A3",
+"O.	c #87B177",
+"P.	c #87B377",
+"Q.	c #6D8F60",
+"R.	c #97D084",
+"S.	c #9AD283",
+"T.	c #334E31",
+"U.	c #5C8A4F",
+"V.	c #5E9153",
+"W.	c #345130",
+"X.	c #93E176",
+"Y.	c #538447",
+"Z.	c #8FD26F",
+"`.	c #595E1D",
+" +	c #385D2C",
+".+	c #467B39",
+"++	c #1D3618",
+"@+	c #7DDB5C",
+"#+	c #DCE6D1",
+"$+	c #7F7E67",
+"%+	c #BEAE6D",
+"&+	c #C7DEBD",
+"*+	c #809580",
+"=+	c #9EB797",
+"-+	c #768A70",
+";+	c #222721",
+">+	c #839A82",
+",+	c #6D816B",
+"'+	c #ACD1A2",
+")+	c #2A3529",
+"!+	c #92B48B",
+"~+	c #819E75",
+"{+	c #495B42",
+"]+	c #627955",
+"^+	c #2B3A27",
+"/+	c #5E8050",
+"(+	c #71A567",
+"_+	c #7FB370",
+":+	c #95D77F",
+"<+	c #4A6841",
+"[+	c #537D4A",
+"}+	c #2F4B2C",
+"|+	c #8ED77B",
+"1+	c #5D5D1C",
+"2+	c #72B861",
+"3+	c #4A8042",
+"4+	c #0F1A0E",
+"5+	c #76C967",
+"6+	c #E4EAE2",
+"7+	c #908A71",
+"8+	c #C4B87F",
+"9+	c #9AA290",
+"0+	c #3F443E",
+"a+	c #A1AD9B",
+"b+	c #CFE4C4",
+"c+	c #95A58E",
+"d+	c #B3CCAE",
+"e+	c #788570",
+"f+	c #C4E9BA",
+"g+	c #96BA95",
+"h+	c #3E4B3B",
+"i+	c #BCE4B5",
+"j+	c #708A69",
+"k+	c #BBE4AE",
+"l+	c #6C8864",
+"m+	c #B3E2A3",
+"n+	c #8EBC85",
+"o+	c #719B66",
+"p+	c #A3E591",
+"q+	c #62845A",
+"r+	c #98DE87",
+"s+	c #5C8658",
+"t+	c #8FD478",
+"u+	c #747023",
+"v+	c #88D078",
+"w+	c #233920",
+"x+	c #3C6636",
+"y+	c #598F47",
+"z+	c #E5EBE7",
+"A+	c #7B7258",
+"B+	c #CBBE92",
+"C+	c #D0D4C5",
+"D+	c #878E83",
+"E+	c #DDE9D8",
+"F+	c #A5B39F",
+"G+	c #545B54",
+"H+	c #6A736A",
+"I+	c #4A5448",
+"J+	c #C7DFC4",
+"K+	c #829781",
+"L+	c #4E604C",
+"M+	c #5C715A",
+"N+	c #5B6D55",
+"O+	c #748C6D",
+"P+	c #7B9873",
+"Q+	c #B9E6AA",
+"R+	c #ADE5A6",
+"S+	c #87AE83",
+"T+	c #779669",
+"U+	c #6C9062",
+"V+	c #96CF86",
+"W+	c #6F9D67",
+"X+	c #96D080",
+"Y+	c #786720",
+"Z+	c #557A4B",
+"`+	c #4C6F42",
+" @	c #486F3B",
+".@	c #528047",
+"+@	c #EAE7E9",
+"@@	c #564525",
+"#@	c #CFC1A1",
+"$@	c #E7E9DE",
+"%@	c #787D74",
+"&@	c #6C716C",
+"*@	c #A1A89B",
+"=@	c #A1AA9B",
+"-@	c #9CA698",
+";@	c #4E544C",
+">@	c #6F7A6D",
+",@	c #B4CCB1",
+"'@	c #C9ECCA",
+")@	c #CFEDC2",
+"!@	c #CBEABC",
+"~@	c #C2E8B6",
+"{@	c #7E987B",
+"]@	c #73886F",
+"^@	c #718C6C",
+"/@	c #6D8366",
+"(@	c #A1C594",
+"_@	c #8FBE88",
+":@	c #698D5F",
+"<@	c #688E62",
+"[@	c #688B5B",
+"}@	c #6F5A19",
+"|@	c #3B5135",
+"1@	c #10160E",
+"2@	c #131C10",
+"3@	c #4A6E40",
+"4@	c #ECEBED",
+"5@	c #654D1E",
+"6@	c #DFD5C4",
+"7@	c #CFCDC7",
+"8@	c #464745",
+"9@	c #DFDFDA",
+"0@	c #E8EDE3",
+"a@	c #B8C4B8",
+"b@	c #63685F",
+"c@	c #CAD2C9",
+"d@	c #D9EAD7",
+"e@	c #D7E9D6",
+"f@	c #D7ECD2",
+"g@	c #D2EBCE",
+"h@	c #D3E8C7",
+"i@	c #CCEBC0",
+"j@	c #C7E8C5",
+"k@	c #C6E7C1",
+"l@	c #CBEBBA",
+"m@	c #C4E8B9",
+"n@	c #BDE9AD",
+"o@	c #B4E4B2",
+"p@	c #B5E8AA",
+"q@	c #B1E7A6",
+"r@	c #B1E0A2",
+"s@	c #79601E",
+"t@	c #3B5036",
+"u@	c #425D3C",
+"v@	c #4E6946",
+"w@	c #9EE390",
+"x@	c #EDECEE",
+"y@	c #7D5E22",
+"z@	c #E7E4E2",
+"A@	c #D2D3D3",
+"B@	c #6B6A68",
+"C@	c #E7E5E5",
+"D@	c #909290",
+"E@	c #848685",
+"F@	c #E0E5DF",
+"G@	c #E5EEE7",
+"H@	c #E3ECD9",
+"I@	c #DDECDB",
+"J@	c #DDE9D6",
+"K@	c #D9EAD5",
+"L@	c #D6E6D2",
+"M@	c #D3E9CC",
+"N@	c #CEE5CA",
+"O@	c #D3E7CD",
+"P@	c #D0EDC4",
+"Q@	c #CAE9B7",
+"R@	c #C9E7B9",
+"S@	c #C1E5B4",
+"T@	c #C0E6B4",
+"U@	c #B9E6A8",
+"V@	c #B8E4A8",
+"W@	c #7A5F1E",
+"X@	c #80A47B",
+"Y@	c #384833",
+"Z@	c #A4E496",
+"`@	c #A8E69B",
+" #	c #EEEAEA",
+".#	c #826222",
+"+#	c #EBEDEC",
+"@#	c #EFEAEA",
+"##	c #BFB9BE",
+"$#	c #484746",
+"%#	c #A7A9A8",
+"&#	c #E7EFE9",
+"*#	c #EDEEED",
+"=#	c #EDEFEB",
+"-#	c #EBEDE8",
+";#	c #E3EBE6",
+">#	c #DFECDD",
+",#	c #DBEDDD",
+"'#	c #D9EBDD",
+")#	c #DCEAD9",
+"!#	c #D9E9D2",
+"~#	c #D9E9D1",
+"{#	c #D7EDCE",
+"]#	c #C8ECC4",
+"^#	c #D4E6C9",
+"/#	c #C5E6BB",
+"(#	c #C8EAC5",
+"_#	c #C5E9B9",
+":#	c #BFE8B4",
+"<#	c #7C601F",
+"[#	c #4F6148",
+"}#	c #4B6044",
+"|#	c #B1EAA0",
+"1#	c #ADE7A0",
+"2#	c #E1DFDF",
+"3#	c #896A2B",
+"4#	c #EBEFEA",
+"5#	c #A4A2A4",
+"6#	c #747575",
+"7#	c #D2D0D2",
+"8#	c #F0E6ED",
+"9#	c #EDEEEB",
+"0#	c #EDEAF0",
+"a#	c #EBEEE7",
+"b#	c #EBF1EB",
+"c#	c #E9EDE5",
+"d#	c #E8EDE7",
+"e#	c #E6ECE8",
+"f#	c #E0EBE1",
+"g#	c #E5EAE4",
+"h#	c #E0EDDA",
+"i#	c #DCECD9",
+"j#	c #DBEBD4",
+"k#	c #D4E8D0",
+"l#	c #D3EAD0",
+"m#	c #D0E9CB",
+"n#	c #CFE9C9",
+"o#	c #C9E6C5",
+"p#	c #C5E8BD",
+"q#	c #866924",
+"r#	c #A6C79E",
+"s#	c #B3D6A4",
+"t#	c #B6E5B3",
+"u#	c #B3E9AD",
+"v#	c #DEE1E4",
+"w#	c #856627",
+"x#	c #C5C7C6",
+"y#	c #9B9A9C",
+"z#	c #ECEBF0",
+"A#	c #EEEAEB",
+"B#	c #F0ECEA",
+"C#	c #E8EEEE",
+"D#	c #EFEBEE",
+"E#	c #EEEEEC",
+"F#	c #F0F1ED",
+"G#	c #F2F0EF",
+"H#	c #EBEBED",
+"I#	c #EFEAEC",
+"J#	c #E7ECE5",
+"K#	c #E6EDE4",
+"L#	c #E2EEE3",
+"M#	c #DFEAE2",
+"N#	c #DDE6E0",
+"O#	c #DCEDD5",
+"P#	c #DCEFD4",
+"Q#	c #DCEBD5",
+"R#	c #D4E9D0",
+"S#	c #D4EBC8",
+"T#	c #D4EBCB",
+"U#	c #A68B45",
+"V#	c #A9B297",
+"W#	c #C5E5BB",
+"X#	c #C5E2B8",
+"Y#	c #BDE9B2",
+"Z#	c #EAEBED",
+"`#	c #846425",
+" $	c #EAECF0",
+".$	c #EBEBF1",
+"+$	c #EDEDED",
+"@$	c #ECEDEC",
+"#$	c #EBEAEE",
+"$$	c #EAEEEF",
+"%$	c #F1EDEE",
+"&$	c #EAECED",
+"*$	c #EDEEF1",
+"=$	c #EFECEC",
+"-$	c #EBEBEE",
+";$	c #EDEEE6",
+">$	c #E7ECE7",
+",$	c #E5EDE1",
+"'$	c #E6E9E2",
+")$	c #E3EDE2",
+"!$	c #E6EADC",
+"~$	c #DBEADE",
+"{$	c #E0EBD8",
+"]$	c #D9F1D3",
+"^$	c #D8E9D0",
+"/$	c #BAB985",
+"($	c #C5C89A",
+"_$	c #CCE5C0",
+":$	c #CDEBC6",
+"<$	c #C5EAC4",
+"[$	c #EEEDEB",
+"}$	c #D9CCB1",
+"|$	c #EDEAEC",
+"1$	c #EEEEED",
+"2$	c #E7ECEB",
+"3$	c #EEECEC",
+"4$	c #EEECEF",
+"5$	c #EEEFF0",
+"6$	c #F0ECED",
+"7$	c #EBEEEC",
+"8$	c #ECEBEC",
+"9$	c #ECEDE9",
+"0$	c #F0EEEB",
+"a$	c #EBECEE",
+"b$	c #EDEDEB",
+"c$	c #EBEFE8",
+"d$	c #EBEEE8",
+"e$	c #EAEDE5",
+"f$	c #EDEBE1",
+"g$	c #E4E8E5",
+"h$	c #E6EDE0",
+"i$	c #DDEFDE",
+"j$	c #DEE7D8",
+"k$	c #DCEAD2",
+"l$	c #D8EAD0",
+"m$	c #DAE9CD",
+"n$	c #D0EDC8",
+"o$	c #D3E8C8",
+"p$	c #EEE9ED",
+"q$	c #ECE9EC",
+"r$	c #EDEBE8",
+"s$	c #EFEFEE",
+"t$	c #F0F1EC",
+"u$	c #EAECEC",
+"v$	c #EEEEEA",
+"w$	c #ECECEF",
+"x$	c #EEEEEE",
+"y$	c #EDEDEA",
+"z$	c #ECECEC",
+"A$	c #EFF0EC",
+"B$	c #EBEDEF",
+"C$	c #F0EDED",
+"D$	c #EAEBEE",
+"E$	c #EDF0EA",
+"F$	c #E9EDEB",
+"G$	c #EFECEB",
+"H$	c #EBECEB",
+"I$	c #EBE9E8",
+"J$	c #EAEAE2",
+"K$	c #E3EDE6",
+"L$	c #E6ECE5",
+"M$	c #DFECDA",
+"N$	c #DBEBDA",
+"O$	c #DCEADA",
+"P$	c #E5F0E0",
+"Q$	c #A46E6E",
+"R$	c #A7A7A7",
+"S$	c #7D7D7D",
+"T$	c #545454",
+"U$	c #151515",
+"V$	c #3E3E3E",
+"W$	c #2A2A2A",
+"X$	c #929292",
+"Y$	c #000000",
+"Z$	c #686868",
+". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ",
+". + @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ . ",
+". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ",
+". # $ # # % % % % % % % # # # # % % % % # # # # # # # # # & $ . ",
+". * = - ; > , ' ) ! ~ { ] ^ / ( _ : < [ } | 1 2 3 4 5 6 7 8 9 . ",
+". 0 a b c d e f g h i j k l m n o p q r s t u v w x y z A B C . ",
+". D E F G H I J K L M N O P Q R S T U V W X Y Z `  ...+.@.#.$.. ",
+". %.&.*.=.-.;.>.,.'.).!.~.{.].^./.(._.:.<.[.}.|.1.2.3.4.5.6.7.. ",
+". 8.9.0.a.b.c.d.e.f.g.h.i.j.k.l.m.n.o.p.q.r.s.t.u.v.w.x.y.z.A.. ",
+". B.C.D.E.F.G.H.I.J.K.L.M.N.O.P.Q.R.S.T.U.V.W.X.Y.Z.`. +.+++@+. ",
+". #+$+%+&+*+=+-+;+>+,+'+)+!+~+{+]+^+/+(+_+:+<+[+}+|+1+2+3+4+5+. ",
+". 6+7+8+9+0+a+b+c+d+e+f+g+h+i+j+k+l+m+n+o+p+q+r+s+t+u+v+w+x+y+. ",
+". z+A+B+C+D+E+F+G+H+I+J+K+L+M+N+O+P+Q+R+S+T+U+V+W+X+Y+Z+`+ @.@. ",
+". +@@@#@$@%@&@*@=@-@;@>@,@'@)@!@~@{@]@^@/@(@_@:@<@[@}@|@1@2@3@. ",
+". 4@5@6@7@8@9@0@a@b@c@d@e@f@g@h@i@j@k@l@m@n@o@p@q@r@s@t@u@v@w@. ",
+". x@y@z@A@B@C@D@E@F@G@H@I@J@K@L@M@N@O@P@Q@R@S@T@U@V@W@X@Y@Z@`@. ",
+".  #.#+#@###$#%#&#*#=#-#;#>#,#'#)#!#~#{#]#^#/#(#_#:#<#[#}#|#1#. ",
+". 2#3#4#5#6#7#8#9#0#a#b#c#d#e#f#g#h#i#j#k#l#m#n#o#p#q#r#s#t#u#. ",
+". v#w#x#y#z#A#B#C#D#E#F#G#H#I#J#K#L#M#N#O#P#Q#R#S#T#U#V#W#X#Y#. ",
+". Z#`# $.$+$@$#$$$%$&$*$x@=$-$;$*#>$,$'$)$!$~${$]$^$/$($_$:$<$. ",
+". [$}$|$1$4@2$3$4$5$6$7$8$9$0$a$b$$$c$d$e$f$g$h$i$j$k$l$m$n$o$. ",
+". p$q$r$s$t$u$v$w$x$E#H#y$z$A$B$C$D$E$F$G$H$I$J$K$L$M$N$O$Q#P$. ",
+". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ",
+". Q$# # # # # # # # # # # # # # # # # # # # # # # # # # # # # . ",
+". . . . . . . . . . . . . . . . . . . . . . . R$S$R$. . . . . . ",
+". . . . . . . . T$U$V$W$X$. . . . . . . . . . R$Y$R$. . . . . . ",
+". . . . . . . V$W$. . R$R$. Z$V$Z$. . Z$V$V$X$R$Y$. . . . . . . ",
+". . . . . . R$Y$X$. . . . V$Z$R$Y$S$T$Z$. Y$R$S$V$. . . . . . . ",
+". . . . . . S$Y$. . U$U$Z$Y$. . Y$S$Y$. T$U$. T$T$. . . . . . . ",
+". . . . . . R$Y$S$. V$T$S$Y$R$V$V$S$Y$Z$V$V$. W$S$. . . . . . . ",
+". . . . . . . X$V$V$T$R$. T$V$Z$. R$V$S$Z$V$. V$Z$. . . . . . . ",
+". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "};
diff --git a/images/gimp/scripts/proofgeneral.scm b/images/gimp/scripts/proofgeneral.scm
index 7c67d5b5..ac55e0b1 100644
--- a/images/gimp/scripts/proofgeneral.scm
+++ b/images/gimp/scripts/proofgeneral.scm
@@ -48,7 +48,7 @@
 
 (define (script-fu-proofgeneral-make-all-buttons)
   (mapcar script-fu-proofgeneral-make-button
-	  '("goal" "next" "qed" "restart" "retract" "undo" "use")))
+	  '("goal" "next" "qed" "restart" "retract" "undo" "use" "show" "context" "info" "command")))
 
 (script-fu-register "script-fu-proofgeneral-make-all-buttons" 
 		    "<Toolbox>/Xtns/Script-Fu/Proof General/Make All Buttons"
diff --git a/images/info.8bit.xpm b/images/info.8bit.xpm
new file mode 100644
index 00000000..243a750f
--- /dev/null
+++ b/images/info.8bit.xpm
@@ -0,0 +1,44 @@
+/* XPM */
+static char * info_8bit_xpm[] = {
+"32 32 9 1",
+" 	c None",
+".	c #0504AD",
+"+	c #BAB6B6",
+"@	c #8F4B54",
+"#	c #861212",
+"$	c #787692",
+"%	c #DBDBF3",
+"&	c #353559",
+"*	c #FDFDFC",
+"++$$$$$$$$$$$$$$$$$$$$$$$$$$$$$+",
+"+@#############################+",
+"+@#@@@@@@@@@@@@#@@@@@@@@@@@@@##+",
+"+@#++++++++$&......&$++++++++@#+",
+"+@#++%++%+$....&$$...$+++%++%@#+",
+"+@#++++++......+*%....&++++++@#+",
+"+@#+++++$......+*%.....$+++++@#+",
+"+@#+%++$................$+%++@#+",
+"+@#++++&.....+++++......&++++@#+",
+"%@#++++.....&****%.......++++@#+",
+"+@#%++$.......&+*%.......$+++@#+",
+"%@#+++$........+*%.......$%++@#+",
+"+@#%++$........$*%.......$+++@#+",
+"+@#+++$........+*%.......$+++@#+",
+"+@#+%++........+*%.......++++@#+",
+"+@#++++&.......+*%......&++++@#+",
+"+@#++++$.......$*%......$+%++@#+",
+"+@#+++++$....$$+*%$&...$+++++@#+",
+"+@#+%++++....******+...++++%+@#+",
+"+@#+++++++$..$$$$$$$.$+++++++@#+",
+"+@#$$+$$$$$@&&..&.#&@$$$+$$$$@#+",
+"+@#############################+",
+"+$@@@@@@@@@@@@@@@@@@@@@@@@@@@@@+",
+"++++++++++++++++++$$++++++++++++",
+"++++++++$.&++++++$@$++++++++++++",
+"++%++%++$.+&$$&+$.&$+@&$%++++%++",
+"++++++++$.+&&$.$+.++.+$.++%+++++",
+"+++++%++&&+&&+.+$&+&&+$&++++++++",
+"+%+++++%.$+.+$.+$&+&&+.$++%+%+++",
+"+++%+++$&&+&+$&$&$++&&+++++++%++",
+"++++++++++++%+%+&$++++++++++++++",
+"%+++++++%++++++++++++++++++++%++"};
diff --git a/images/info.xcf b/images/info.xcf
new file mode 100644
index 00000000..ff7a632c
--- /dev/null
+++ b/images/info.xcf
diff --git a/images/info.xpm b/images/info.xpm
new file mode 100644
index 00000000..6e981bbd
--- /dev/null
+++ b/images/info.xpm
@@ -0,0 +1,115 @@
+/* XPM */
+static char * info_xpm[] = {
+"32 32 80 1",
+" 	c None",
+".	c #BCBCBC s backgroundToolBarColor",
+"+	c #B09595",
+"@	c #AA8181",
+"#	c #984747",
+"$	c #870D0D",
+"%	c #984848",
+"&	c #8D3B3D",
+"*	c #812F38",
+"=	c #813039",
+"-	c #8D3C3E",
+";	c #8D2020",
+">	c #787891",
+",	c #2F2F99",
+"'	c #1717A8",
+")	c #0000BC",
+"!	c #A5A5A7",
+"~	c #5E5E8D",
+"{	c #4F4FD1",
+"]	c #7F7FDD",
+"^	c #6F6FD9",
+"/	c #0000BE",
+"(	c #2020A2",
+"_	c #9F9FE5",
+":	c #FDFDFD",
+"<	c #DEDEF5",
+"[	c #870F0F",
+"}	c #891313",
+"|	c #994A4A",
+"1	c #8A1818",
+"2	c #0000BD",
+"3	c #1717C3",
+"4	c #BEBEED",
+"5	c #A7A7E7",
+"6	c #9A4C4C",
+"7	c #8B1C1C",
+"8	c #99999F",
+"9	c #1F1FC5",
+"0	c #9A4E4E",
+"a	c #757590",
+"b	c #0303BE",
+"c	c #ABABE8",
+"d	c #8C1E1E",
+"e	c #994B4B",
+"f	c #8B1B1B",
+"g	c #984949",
+"h	c #891414",
+"i	c #881010",
+"j	c #870E0E",
+"k	c #0B0BC0",
+"l	c #5F5FD5",
+"m	c #C2C2EE",
+"n	c #EAEAF8",
+"o	c #5F5FD6",
+"p	c #4747D0",
+"q	c #FFFFFF",
+"r	c #BFBFEE",
+"s	c #0F0FC1",
+"t	c #7F7FDE",
+"u	c #AA8282",
+"v	c #AA8383",
+"w	c #AB8484",
+"x	c #7D5667",
+"y	c #4C256C",
+"z	c #3C1475",
+"A	c #2D0582",
+"B	c #2D0481",
+"C	c #2D0784",
+"D	c #3C1576",
+"E	c #923434",
+"F	c #A46E6E",
+"G	c #929292",
+"H	c #7D7D7D",
+"I	c #686868",
+"J	c #000000",
+"K	c #2A2A2A",
+"L	c #545454",
+"M	c #A7A7A7",
+"N	c #3E3E3E",
+"O	c #151515",
+".+@@@@@@@@@@@@@@@@@@@@@@@@@@@@@.",
+".#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$.",
+".#$##%%%%%%%#&**==-%#########;$.",
+".#$........>,'))))',>........#$.",
+".#$......!~)))){]^///~!......#$.",
+".%$.....!()))))_:<////(!.....#$.",
+".%[.....~/)))))_:</////~.....#$.",
+".%}....>)/))))))))//////>....#$.",
+".|1....,2/))344445//////,....#$.",
+".67...8')/))9::::<//////'8...#$.",
+".07...a22/))b99c:<///////a...#$.",
+".0d...a/)/)))))_:<///////a...#$.",
+".ed...a))/)))))_:<///////a...#$.",
+".|f...a)2/)))))_:<///////a...#$.",
+".gh...8')/)))))_:<//////'8...#$.",
+".%i....,)/)))))_:<//////,....#$.",
+".%[....>2/)))))_:<//////>....#$.",
+".%j.....~/))kllm:nop///~.....#$.",
+".#$.....!())9:::::qr//(!.....#$.",
+".#$......!~)s]]]]]to/~!......#$.",
+".#$@uuuvwwvxyzABCCDyxuu@@@@@@E$.",
+".#$$$$$$$$$$$$$$$$$$$$$$$$$$$$$.",
+".F#############################.",
+"..................GH............",
+"........IJK......ILIM...........",
+"........GJMNIGNMHOKGMLNG........",
+"........IJ.NNIJH.J.MOMIJ........",
+"........NN.KNMJ.HO.LN.HO........",
+"........OI.JMHO.IN.NKMOH........",
+".......INNMN.HNGNL.MNNG.........",
+"................OH..............",
+"................................"};
diff --git a/images/notes.txt b/images/notes.txt
index 2d4e0a9a..17f0b753 100644
--- a/images/notes.txt
+++ b/images/notes.txt
@@ -24,6 +24,9 @@ Text is lucidafax at point size 8.
 
 blank.xcf -- blank with correct background colour.
 
+Some icons I drew, some I stole from free sources.
+
+
 
 LOGOS
 =====
diff --git a/images/show.8bit.xpm b/images/show.8bit.xpm
new file mode 100644
index 00000000..26634f27
--- /dev/null
+++ b/images/show.8bit.xpm
@@ -0,0 +1,44 @@
+/* XPM */
+static char * show_8bit_xpm[] = {
+"32 32 9 1",
+" 	c None",
+".	c #070708",
+"+	c #9C898A",
+"@	c #8C4948",
+"#	c #F4F4F3",
+"$	c #87100E",
+"%	c #787777",
+"&	c #383837",
+"*	c #BDBDBB",
+"*++++++++++++++++++++++++++++++*",
+"*@$$$$$$$$$$$$$$$$$$$$$$$$$$$$$*",
+"*@$@@@@@@@@@@@@@@@@@@@@@@@@@@$$*",
+"*@$**************************@$*",
+"*@$*****++%++*****+%+%*******@$*",
+"*@$****&&....@**+&....&%*****@$*",
+"*@$**+&&+*##+&&+.&*##*@.%****@$*",
+"*@$**+.######*..&######%.****@$*",
+"*@$**.%#######%.########&&***@$*",
+"*@$**.+#######+.########&&+**@$*",
+"*@$**.*#######*.########&&%**@$*",
+"*@$**.+#*+####+.##+*####&&%**@$*",
+"*@$**.+*..+###+.#%..####&&%**@$*",
+"*@$**&%*&.*###&.*+.&###*.@%**@$*",
+"*@$**%.**####*..&**####%.%%**@$*",
+"*@$***%.&%++&.&+&.%++%..%%+**@$*",
+"*@$****+&...&%%+*+....%%%%***@$*",
+"*@$******%+%%%%****%%%%%%****@$*",
+"*@$*******+++*******++++*****@$*",
+"*@$**************************@$*",
+"*@$++++++++++++++++++++++++++$$*",
+"*@$$$$$$$$$$$$$$$$$$$$$$$$$$$$$*",
+"*%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@*",
+"********************************",
+"**********%%********************",
+"*****+&&&*&&********************",
+"*****&&***&%@&**@&%*&++%*&+*****",
+"*****+.&**.&&.*&%+.%&%%&*.+*****",
+"******+.@*.+%&+.**.+%&&.%%******",
+"****++*&%%.*&%%.*&&*+.+.@*******",
+"****+&&%*%%*%&*&&%**+%*%********",
+"********************************"};
diff --git a/images/show.xcf b/images/show.xcf
new file mode 100644
index 00000000..f64f9ff1
--- /dev/null
+++ b/images/show.xcf
diff --git a/images/show.xpm b/images/show.xpm
new file mode 100644
index 00000000..4ff91321
--- /dev/null
+++ b/images/show.xpm
@@ -0,0 +1,181 @@
+/* XPM */
+static char * show_xpm[] = {
+"32 32 146 2",
+"  	c None",
+". 	c #BCBCBC s backgroundToolBarColor",
+"+ 	c #B09595",
+"@ 	c #AA8181",
+"# 	c #984747",
+"$ 	c #870D0D",
+"% 	c #984848",
+"& 	c #8D2020",
+"* 	c #9E9E9E",
+"= 	c #868686",
+"- 	c #898989",
+"; 	c #B2B2B2",
+"> 	c #515151",
+", 	c #202020",
+"' 	c #000000",
+") 	c #989898",
+"! 	c #4A4A4A",
+"~ 	c #050505",
+"{ 	c #3C3C3C",
+"] 	c #7B7B7B",
+"^ 	c #870F0F",
+"/ 	c #ADADAD",
+"( 	c #3D3D3D",
+"_ 	c #343434",
+": 	c #8F8F8F",
+"< 	c #D9D9D9",
+"[ 	c #ECECEC",
+"} 	c #8D8D8D",
+"| 	c #191919",
+"1 	c #363636",
+"2 	c #CACACA",
+"3 	c #E1E1E1",
+"4 	c #E7E7E7",
+"5 	c #D4D4D4",
+"6 	c #545454",
+"7 	c #222222",
+"8 	c #707070",
+"9 	c #891313",
+"0 	c #818181",
+"a 	c #D2D2D2",
+"b 	c #F7F7F7",
+"c 	c #FFFFFF",
+"d 	c #F8F8F8",
+"e 	c #D3D3D3",
+"f 	c #444444",
+"g 	c #FDFDFD",
+"h 	c #EFEFEF",
+"i 	c #0B0B0B",
+"j 	c #994A4A",
+"k 	c #8A1818",
+"l 	c #0E0E0E",
+"m 	c #7A7A7A",
+"n 	c #D5D5D5",
+"o 	c #FCFCFC",
+"p 	c #E2E2E2",
+"q 	c #323232",
+"r 	c #B0B0B0",
+"s 	c #9A4C4C",
+"t 	c #8B1C1C",
+"u 	c #959595",
+"v 	c #F3F3F3",
+"w 	c #F6F6F6",
+"x 	c #3B3B3B",
+"y 	c #2F2F2F",
+"z 	c #8E8E8E",
+"A 	c #9A4E4E",
+"B 	c #9F9F9F",
+"C 	c #3F3F3F",
+"D 	c #8C1E1E",
+"E 	c #F9F9F9",
+"F 	c #AFAFAF",
+"G 	c #949494",
+"H 	c #FBFBFB",
+"I 	c #7F7F7F",
+"J 	c #994B4B",
+"K 	c #C6C6C6",
+"L 	c #111111",
+"M 	c #070707",
+"N 	c #939393",
+"O 	c #EBEBEB",
+"P 	c #787878",
+"Q 	c #020202",
+"R 	c #161616",
+"S 	c #E3E3E3",
+"T 	c #F1F1F1",
+"U 	c #383838",
+"V 	c #8B1B1B",
+"W 	c #494949",
+"X 	c #C4C4C4",
+"Y 	c #2C2C2C",
+"Z 	c #131313",
+"` 	c #9B9B9B",
+" .	c #999999",
+"..	c #060606",
+"+.	c #393939",
+"@.	c #EAEAEA",
+"#.	c #B9B9B9",
+"$.	c #212121",
+"%.	c #555555",
+"&.	c #984949",
+"*.	c #891414",
+"=.	c #878787",
+"-.	c #080808",
+";.	c #B8B8B8",
+">.	c #C3C3C3",
+",.	c #CECECE",
+"'.	c #E6E6E6",
+").	c #BABABA",
+"!.	c #0D0D0D",
+"~.	c #E0E0E0",
+"{.	c #FAFAFA",
+"].	c #6E6E6E",
+"^.	c #881010",
+"/.	c #464646",
+"(.	c #919191",
+"_.	c #030303",
+":.	c #525252",
+"<.	c #808080",
+"[.	c #757575",
+"}.	c #888888",
+"|.	c #7D7D7D",
+"1.	c #171717",
+"2.	c #6D6D6D",
+"3.	c #909090",
+"4.	c #454545",
+"5.	c #090909",
+"6.	c #616161",
+"7.	c #141414",
+"8.	c #4F4F4F",
+"9.	c #777777",
+"0.	c #AEAEAE",
+"a.	c #870E0E",
+"b.	c #A2A2A2",
+"c.	c #7C7C7C",
+"d.	c #A1A1A1",
+"e.	c #AA8282",
+"f.	c #AA8383",
+"g.	c #AB8484",
+"h.	c #923434",
+"i.	c #A46E6E",
+"j.	c #929292",
+"k.	c #2A2A2A",
+"l.	c #3E3E3E",
+"m.	c #686868",
+"n.	c #A7A7A7",
+"o.	c #151515",
+". + @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ @ . ",
+". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ",
+". # $ # # % % % % % % % # # # # % % % % # # # # # # # # # & $ . ",
+". # $ . . . . . . . . . . . . . . . . . . . . . . . . . . # $ . ",
+". # $ . . . . . * = = = * . . . . . - = = = ; . . . . . . # $ . ",
+". % $ . . . . > , ' ' ' , > . . ) ! ~ ' ' ' { ] . . . . . # $ . ",
+". % ^ . . / ( _ : < [ < : _ ( } | 1 2 3 4 5 6 7 8 . . . . # $ . ",
+". % 9 . . 0 ' a b c c c d e ' ' f 4 g g g g h ] i . . . . # $ . ",
+". j k . . l m b g c c c c d m ' n o g g g g g p q ! r . . # $ . ",
+". s t . . ' u o g c c c c g u ' v g g g g g g w x y z . . # $ . ",
+". A t . . ' B g g c c c c c B ' c g g g g g g g C y m . . # $ . ",
+". A D . . ' B E F G w c c c B ' c v = . H g g g C y I . . # $ . ",
+". J D . . ' } K L M N c c g } ' O P Q R S g g T U y I . . # $ . ",
+". j V . . { W X Y Z ; c c O W ' `  ...+.@.g H #.$.%.I . . # $ . ",
+". &.*.. . =.-.;.>.,.H H '.).~ !.( >.>.~.o {.a ].L I ] . . # $ . ",
+". % ^.. . . P ~ /.0 (.0 /._.:.<.U ' [.}.} |.1.1.2.I z . . # $ . ",
+". % ^ . . . . 3.4.5.5.5.y 6.|.<./ } 7.5.5.5.8.2.I 9.0.. . # $ . ",
+". % a.. . . . . . P <.<.<.9.=.. . . b.P c.I I P m . . . . # $ . ",
+". # $ . . . . . . ; (.(.(.F . . . . . . u (.(.d.. . . . . # $ . ",
+". # $ . . . . . . . . . . . . . . . . . . . . . . . . . . # $ . ",
+". # $ @ e.e.e.f.g.g.f.f.f.e.e.@ g.g.f.f.f.e.e.@ @ @ @ @ @ h.$ . ",
+". # $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ . ",
+". i.# # # # # # # # # # # # # # # # # # # # # # # # # # # # # . ",
+". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ",
+". . . . . . . . . . |.|.. . . . . . . . . . . . . . . . . . . . ",
+". . . . . j.k.l.k.. l.l.. . . . . . . . . . . . . . . . . . . . ",
+". . . . . l.k.. . . l.m.m.6 . . m.l.m.. l.j.n.|.. l.j.. . . . . ",
+". . . . . j.' l.. . o.l.l.' . l.m.n.' |.l.m.m.l.. ' n.. . . . . ",
+". . . . . . n.o.6 . ' |.|.l.j.' . . ' j.|.l.l.' m.|.. . . . . . ",
+". . . . j.|.. k.m.|.o.. l.6 |.' n.l.l.. |.' n.' 6 . . . . . . . ",
+". . . . n.l.l.m.. |.m.. m.l.. 6 l.m.. . j.|.. 6 . . . . . . . . ",
+". . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "};