From 882ec3c42098fc1138b6a0b9f9a0b3ef61470d43 Mon Sep 17 00:00:00 2001
From: Michael Jastram <michael@jastram.de>
Date: Sun, 5 Jun 2011 11:10:45 +0000
Subject: [PATCH] More work on Styles and Templates

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@11848 1434b563-b632-4741-aa49-43a3a8374d2e
---
 .../rodin-theme-eclipse/default-layout.html   |  14 +++++++++++++
 .../rodin-theme-eclipse/icons/cc-by.png       | Bin 0 -> 640 bytes
 .../icons/deploy-logo-small.png               | Bin 0 -> 1205 bytes
 .../rodin-theme-eclipse/icons/pdf_icon.gif    | Bin 0 -> 1045 bytes
 .../rodin-theme-eclipse/icons/wikipedia.png   | Bin 0 -> 3408 bytes
 .../rodin-theme-eclipse/styles/styles.css     |  18 ++++++++++++-----
 .../rodin-theme-html/default-layout.html      |  19 +++++++++++++++---
 .../Themes/rodin-theme-html/icons/cc-by.png   | Bin 0 -> 4739 bytes
 .../rodin-theme-html/icons/pdf_icon.png       | Bin 0 -> 4982 bytes
 .../latex/rodin-doc.tex                       |   1 +
 .../latex/style-guide.tex                     |  18 ++++++++++++++---
 11 files changed, 59 insertions(+), 11 deletions(-)
 create mode 100644 org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/cc-by.png
 create mode 100644 org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/deploy-logo-small.png
 create mode 100644 org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/pdf_icon.gif
 create mode 100644 org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/wikipedia.png
 create mode 100644 org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/cc-by.png
 create mode 100644 org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/pdf_icon.png

diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html
index c648416..560388c 100644
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html
@@ -49,5 +49,19 @@
 
 <script language="javascript" src="icons/imgadjust.js" type="text/javascript"></script>
 
+<div class="footer">
+<hr />
+<img src="icons/deploy-logo-small.png" /> Work sponsored by the <a class="footer" href="http://www.deploy-project.eu/">Deploy Project</a>
+
+| <img src="icons/pdf_icon.gif" /> <a class="footer" href="">Handbook as PDF</a>
+
+| <img src="icons/wikipedia.png" /> <a class="footer" href="http://wiki.event-b.org/">Rodin Wiki</a>
+
+| <a class="footer" rel="license" href="http://creativecommons.org/licenses/by/3.0/">
+<img alt="Creative Commons License" style="border-width:0" src="icons/cc-by.png" /></a>
+Creative Commons License
+
+</div>
+
 </body>
 </html>
diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/cc-by.png b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/cc-by.png
new file mode 100644
index 0000000000000000000000000000000000000000..ecd2abc73bd3d0bd46b806eb93351c017f15ab22
GIT binary patch
literal 640
zcmeAS@N?(olHy`uVBq!ia0y~yU<hDfVBqIqVqjqSv-<uG1_lO}bVpxD28L@luJ}h7
zF)%PlmbgZg1m~xflqVLYGB~E>C#5QQ<|d}62BjvZR2H60wP9dj67qC$45_%4lpvAV
zAlUK$|9|_Sn$ssvFeR?NxkV~6>HNCA#>>yWdGSI+U;p@(XRlsWy}Gh;+q<wr&O(Lo
zxUhp)Pkw#e-rsy@`-F<rLsKe#K6?7;=;^|rVjN}f@8zbYneD9SYWe-}ar>dBLkopY
zM%e7BImwlnm>9FKl_8<v&Yr^J!?$`Jz8&|Mx2dt&Q@f{qRl9!do+<O@@ukeMtqzNf
zl$`OdG4sdY-`^dCPOx<`9PRDxjg5&}7rU3uw6&A-gsZo`K*O9l1~-}CKlB#YumAT&
z@`b#DwT=$Y35H$#9%W@^On-mAyK9|r=Kk(-ehqGsJ;lHIY(klZEz>v|Sp?o6lynd}
zA?G6Z@7GiA2_hmQEN+??k_F~73mZ&WyJQKAh`+ZtH!p9i=*NKN|Ns1Kp4ck5d4j_?
zxg+P9Uq|c6J$v?$agxJ*roU`o6b-@@j~Y$j{$d=kXVIdhYilAiIw#Ma`}qI-{}o9U
zAD$)J*2c!g#dX*>3hqunFSlTEqaFLE#*MlvDl8(6Dc6nD&uM6BJC$&L;AYU)`eSIb
zLrU(%*Mj))|DTtie}8{}zq_=7i;s`bqQ{GvoBlS&L}u=M*7j^|^ftavRT2`vBD`L{
z*s)@J{(XkUBK^-cZ88!KP3_44`IDtA=ceI_+V1sHOxxxM83$`?Yu~<od*iFZqOx6e
zf2$ll8EtI8`@fLS_2$2{?Tg229YY2d35Jrhe;z+qJo1-;fq}u()z4*}Q$iB}?uQ{3

literal 0
HcmV?d00001

diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/deploy-logo-small.png b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/deploy-logo-small.png
new file mode 100644
index 0000000000000000000000000000000000000000..8846ba227f0cef79bdd89da0856cceb70dbfcfd4
GIT binary patch
literal 1205
zcmeAS@N?(olHy`uVBq!ia0y~yU=U_tU=ZS9V_;y|$@4Umfq{XsILO_JVcj{ImkbOH
zY)RhkE)4%caKYZ?lNlHoI14-?iy0W0_kl2Dv#)b70|NtliKnkC`)xK>E>88*Hz%|h
z7+6d_T^vI!PKQp3?g&klIePv7?|pmETmGJ7X?)L3`jpPcNx=d4g3lcB3YlbJ+_Is4
zo>NEMr-hdmEaG^h`ogm2#3G-b4RTHrvQoZJGiLd%SloBcV&2YomeuoXf3CBQNZWt?
z=&z0Q#2(70+5F~m+qI89ZT*~m$-j@i&DEWnd(|s-rof&X9-B@ce0XuO`ns4q`}6M?
zpKq^RF?H&RT(6yH4FmHxOcr+kF7z(>?78jR_I<p>ZNDXSwSrQE#G2w0TN{Jem?xKC
z*m>$<*k<{Sy%(<tN<B6_clBSyovpje!p=nO=2bq<m-Kx1{F-f*XS?pQ-Y-8D5ftT|
z)g7bx<d&0EbBMHy+My+Ug0I<<q!TakzmDCVoo+5u$Hl_1`C4xL*Nf|}*K3Q^s83xO
zBki&Fz1J4kJe?&QJ90bJuea}z`>JTh>ry4;E1Ya1^>bzR=lEzAu{EEU`OGbfiE20K
z@ysgD@4Uiy$x0)4Vzff*k)_Wf=SbSM7AZO?L<ziRE7Gsr_<8k9?;~f}t>=}UdH!|7
z%b=An?~C4IWMg4&+QxIrYDrJQ&h_Glmzy8dvuDsh@$hha(Jjs1wR=i0c5OHP92OEC
zrD4h!xNd@!LzDC5hBP~#?+Pc~bAnG~@cDeRcyplWg7b03i3caCdR0u_zINV!%k;Nz
zw;xLq_@3b5V9XyT;!wxAMxsGnJE2anY5Sp7nGBH`X9L8THmwyu$LLWJxxr}b<}Eyr
zWSA$qXp3Hq`Vh#wibG3uN|$TFxdmGsXFX+LNaihCsqlNg<MAdr9+USC4lxtf3+FMr
zJ56{l9+0zADP!fLpmhsk^cDtjJ>cw%@nYcf(oWgg@SO9=SqA<ae&!ukj+@w$a})XX
zS&#e?YKd<Vkh6IHV9r5tCdZ5JTV)P>x2b4qHsm`eAtBgv>Y~;uMTQ+S=BLg2F0c5E
z+2!29gNz%_9gJd6)?IQbBTaJ4wF}1%Syh{tpG#G~zHYmp?(_ssk<ZR+az8#5UT{mY
z;Y7sqE!P6Pl&1@M&RTfUN5IW+k&5#y&l53@nU5!J6pY%Eu;P80QOJ@;r8g4)Tj$<y
z$-W%+zv}4DkBQm3PlFUst4=a;pOV6{SRzsRSc;6YUyw><-^bhLFU!{MuKv5)IQ{z<
z`R0|E=dF(CxoXLvqJ5n2_h-MoYu2BUFBCbG6l3A8kgPMsaKb5tv&B7p_ez@gno7Oe
zTkv47zV&JMHa@*xy_dJHem@>p{phvUyS;A5moLrwFyocy?rDW~ds3<{zMm1LQQ0%6
z_0+5m_t#OWuMQpl{N`cl?u?TsrPa6J*%h(=>tDNlBJB?t{;1F1yuYC{??Mmn7g_C#
zX0lzyug<%-yWSD&Y}&oCEcti9&Y-H#eR4CZ|6Qs);rYApzO`_*+|B5tU-_kf%zsn&
ztS&mn!_I7SLG(-^?$&S2avR*tQqG-N_HUx;pZV)+4eSj5&(_?rC;3s_`}~-diIXm5
T{Jp`zz`)??>gTe~DWM4fmtZbT

literal 0
HcmV?d00001

diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/pdf_icon.gif b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/pdf_icon.gif
new file mode 100644
index 0000000000000000000000000000000000000000..80f1c395eb2e0e85e1e21218677fa35ab48b74ac
GIT binary patch
literal 1045
zcmZ?wbhEHb6krfw_&$wc=Jd(Ge*L<B{rbIo_wL`n|K!P&2M->+eEIVA>(|eoJ-d1H
z=EaK_U#wjD`0-;?6Qfx(rkp>2{`2S0PoF-$ef##OPoFMdzI^G@r8{@-eE9I;`Sa%u
z4K2U)jN03KUcGu%SXex7_VnAgZas>MDk&+yaN)x4-3L#dI`zWa=U-y-i#H#>e*OAS
zNc<K9^FL9^f427j99=F227UbaaryGqKN*-0AJ}ny>y9TqeOInr`Bzf*a^<QyGbh*8
zHSFH8ap%tcd-onabm-LMH}7B8R6i*wSjEWl_U+sE|Nh<c^WC~>_1Uv$-`%{uc)_fN
z^XD#@KldLS*X|t~UNEq{dGqGjv11Qo<Dd5RUz3!%l#+4$`0<7FX56@OWB>mB|J1b(
z?AiM2($(ox`XA&MOziLM?(Y4^!tw6?$A5|{ot-_;XU_Td?c3~`lN(srjvP7i&(P%g
zty_{363;w5&zw2)@87>K49x$`t^S!=zGYzk$H4O9#fvQ)RvtZi^wzCgi{{UK=I;Ja
zO77jmC;xZ^zkK=fa`)a{yLO#EeY&Wq<W_U*o1mb-HT91kKAJOg>c6a<hYuhA<K|y5
zclySS+m|j`bocJvJJweJg2VoK_}r3|ojjpiUQTxDqS;*xObnxdf)G&r$->CMFpWV6
zWCkctFmQZg(B(Aw^pKIEnSnv#lG28Ssy2326CP~TU~6aWnZ=<}@<LEWT=&6}n*yHB
z4UFDp5xWH4dARL-p6w}AI^x_g*(+_%iAC<NN(M$x)~qmbb5W3uf913C$QI4Z#zI~T
zeg?Y+I(vySIA(ldVqs+DUJzqgJhh>hTd+&SDd535LFSlsW&sTjy~;*{Z6YfsI9$5Q
z!uE^7QIXZXi-+sQ4^a=!gN?ds5(WvA(<dnKbn6B-IV!fut0Z>(S>X88A<e6L(Uk=k
z6df6vxNgN*+*RdhV`Ed}kYHr&Zaw39XG&#}1C!ES?l%!1E?wwq_PnszIsUPNy90wY
E091B}w*UYD

literal 0
HcmV?d00001

diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/wikipedia.png b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/wikipedia.png
new file mode 100644
index 0000000000000000000000000000000000000000..5428c9b1600b9eb99896d06660bebfd923f5e4ff
GIT binary patch
literal 3408
zcmeAS@N?(olHy`uVBq!ia0y~yU=RXf4mJh`hOl#e;S3C1{+Z6s0Rb8LCHch}`2`A|
z&dv%2Mfqu&IjIZ`6}RRFr-uZ;6tn$)?~9XnN5d5F{2);dg&?Qy29b$sT8f+kULA@H
zZ;A#U6m)fEkv_4YgSoG-p+_`Oho_6{2Ky7mMSabSJGxH&eptOY``VuG&(8kadfo2%
zn$L4LpJzY7!86UnIMB3#XQh*z;DhGlM~*#wqUX@arBc8kz_B?+vG}htBg2n68yjt<
z1MK@47%MJwb1)q6oqfPSru{$vE2o(;j14V}2TCSdcyly}FgR58IW1#waARzkJ3}p)
zVF3$6!s+Cs#|#0w3<>J>&n`1G%>6O5nvo%TilQjvf{6?Y!l@lD3>nr8YtDytxiUl;
zFo>jiAF*V(q03<48J_0BuwgsHfpY@fn;1BF7z_eCS~VG1su>baC@WVmw9I4>ar+c*
z^HF=9z;i7IhKiY+Y<8+xx;930=oYevhwI5{obwdd7BNd?N}T1Occ^lvq*0>@|AWtG
z7#J2z6cv2X{P}OiIlgu0&YAUX<BQjQwV&<3Qc}|6e^1Y^E^uIAcvw<*@t=<VW~l~i
zwuan)i&WpSWW;eVDE;1@wu#?iE5m}9x57UcfWpRg;e?$xZ$5qU<c8M~r|85};kEzL
z55*q{|C{r(&gReeuMhS;QfV}bZFFb(@!-&zFFs3U&QIcONxJi_-~G>a?*D&eFDo7K
zOxhWtCGt2>sIbpvR?lanrAnPnlQfU2UizQ%=)TTxX1n{Q3>&iS7^^4hu82)${^qSN
z5K(gA(RT)hPrLIEUeVxSZpdhUc)tAqd;7oc3se~z(mW>>GBCussOW{9+H8NEgMq<i
zL8I0NN9ivIC3Ft3$sA<8bCCN_f?11`%8^4(0!~~h4KhUunroVzG}_K?kkv}izv3Wk
zav(6HZE^vh-l5PPe6|JrzY;m-9n{#<$jRb(f<rh_@m2?8Qdfj>ABXtN)*p%oJy?Xg
zRTNHkhy*HmPc-!~4C)F|2=$QtWLv~!*&gGzYohfD2BW4wZF}4er!;N~w7tT!)p_R%
zbEy`$McfxsN(^W9i!GRap=gVgZI9W)=NDFI@ZajUb3Sfx;DrRc@sS(@y<>-+Hd^R#
zPEJ0(QE3g&>SIzH!qzbF?);j3eq%X{P^0SsPBWHrCxt{gM~?`f2)`R1D->i@OayOn
znsYL@1RhdXn!Lh$i`p*1pGPE;j11c&Jam+=3H1x>3siSFA2C-E>U1_z-#LNFbK{bb
zOG202F69L&ztmYd+r&dkdGg6yDcPIYEvM)xXrE|(GWW^hC&o{tpD2Ec=9-)2P`Knr
z@FR_&Q(0b;PX(TuJY`FrVdNOPcvjHe6$?WIP5Yyq)-K!@v_7zXg|JEKEX%XaVxHbh
z*DjiRSt>(3<9p`%7bUv{?@pETn|>ku(&?A(FQ&g>{!-4v+a}t4ydzyha<&A!M7m_T
z#QGUN%Oo#%OCAp~FgJWX<M~Yfnfaj+THCa0L?@o&n(8%GZK|}Ee#pvI%U0c6#U1)N
z^mIu7%DCX#b#9@?!H-vRUYWK!bk*E|*TK@k=_{>Qw698Ekso5eq%QJrCtKuUpTqvn
zO9B^cjDNi6m;!gQ<mL(;#cbZyZKaK-N7Oc+y;)PHwR^^2+1=f?t5z<wbT;-f4&NN~
zc}ki+`{NmfKjxJ9aX!~rKK*lD*FBN<nvXQ4mzntNG)#@jUNvp{w20Lns{>cNzus%M
z?(Ooq%l5kNj{M!o=Xl&pJx1L<z5g8R+~>hJgYPcqS}x{mYxQ-V-m2`S(hGOHl<&`5
z{%*#+eQ^!*eDasytK9qimrSkx-;lq#zm|V>=ZRq3%%j3~o9CQ_%~8|Bd>dK)<F`Ks
zI>#P%a9)}?HF5gGmWewr+AO~6*6YUKlX)!WvC8AzW4Xr`tFfsms(Jgq@_jce$am*5
z&1Kd;);`D2o;kbd?6sMuvuzEp8$F->eD?L(_qQiRRYd7*Td{3Ns^_LBQOhFVZQGOA
z8f6)|G$J%AcC*{sxocIg?OwZkx#04hev|!H&%2g>c*DnSC%3KKF1g|94Yu3sw&iZC
zO-xS`Pv3rY-QjnW_fD?eRona5mYui#Cf{n=DA~H=Ekz<$VOIBMotyK{zV_&sX)pED
zBhCw)zhV4%oA7DPBbjr9XJ2+t7f;_=-2AztyVJYrwBB?(z1h;o?w;8D#H-|MVeG@I
zOJC>C-aPxz+ZDIhzcYK6`L6xW{4*x=HRnYd7hgDh!udhq(~I`p^QRhQ-(OSb@9f{0
zzV*4XezN|=@U_=BY+qWw>U-jQal3DJMe`rqJ+?8wXLK(z{*3v7?I*UM_CK6IFTVA@
zbG`Eal>b%#FET7|P-RSK?rd~yjAr`%qpC)6f1kb8?bL6ZZoYNwS+LVl)Um&5ZPU|(
zYZWt2yqU08@%!@`=O&)Z<ZBJ6dvWaod*ZXi?!$FF>aFdq;cfPP1sxGm7Y(PImS4Q%
zTzuc<m&-Jld$ZFG{Vmt)dYNk3t<uY~xn;h~WS9Lhy|l<PS0m;|c;<M^Sn6r5Gt0}_
zcmL1Z&+U)qKH`2{Ej~m4L~KFj!gGhdv@RE0sVAgkHO;}N!_Q*M2S)*|6=FTApM=X*
z`?x9($sS5q(!XeSvEznwjFz0=Cl4*(s!4Aq?lG-YIcmIA=jqNC^_3I$`0)DNoozKw
zY*v{<u92<PUc=@|6DJfpty1)zye<7z`m?mM(`!;&H~l-B*S%d|ZYul9?9CI_utw@~
zZF5@oA|y)Vx)%GU^wjXQ{bxH*Sx#F$Py6iKGn-G{o?t%b{rvxLg$@ZloV0Cen|HXb
zY{av@YqBgi*%VgZ=6Wp3s@)dGw#H^h*EX%(tNyFshEHEtw^yyoH@h+J;HjpATN$%o
zbBA(0ZLNKM=la`N{|Noa`&$!#wat~b6YcC;CvsbSx@i3kjXM=jrQ7pQ?VovP%9fR@
zkL*l2pLQwj<+FRb^P>5tt(yL9I$s{|&0AY|?}u%9`}LdaZT;zIHE!>2-sZe>@qU{f
zds3I5Ja^XGK4eMAmyll}X74WD-I{p)N8ZJE($#yunY_7rJ9^Lezji10-4108^}U*Q
zHTAdW@6F%s*LALX`D5De+}O2#xrJ|!Ghbr<%dX6~?fT9uS7k5Rh6MFr(|+yFcU*qo
zzq#+rb$QKrLwn~Od!$_8Qu*ZNch39Y<#?@bmGxAwdB}cQzDzb<RzJ&W)~8u+vx8^-
zj!uf+<$uQR;<Z=zs{Xj&mgk>iViQ^E^*Q8Z=B<}amnWxxI^Q#Q>fG8oy`OgyZZFza
z{XF^H{Ve|c_qzm29$s?&-~HTrkM+5jPdiFJZMywbIDAL=to2s$xvxrI+5DS)+5h<N
zIlE`A+ZmI+^Ig^6t<`DYUrNt2KX>=b-pY?+|F2!0XK8zP@8_!g??=CXy)SmRu1Njw
zxzoFEmaD&8yT^Y|{1=C}jyIj}wqLc6{&(lb`#ben2g(<GzIey|J6mh>`F|6?_VYWl
z_Rs7;-NxJYdY*-yrR5|0qQ5WyEO$Pia$aqo_`gN}POlRe)35t+_4W007iU~tIQ`S~
z$@_C_mi~Qp;I-uX+s6(aliPQ)!q_nGOW5zX2g~o2%f4THpWpvUjY7S~|BRm-zXo4e
z{(G|I<jMb8m}h+clWeSen}LCWEy>&6h2cL4F4((#G6MqxXMsm#F#`j)FbFd;%$g&?
zz`(#>;_2(kew&SzOM@j^WX)~{2Bs!Y7sn8b(@Upp^o|Y`IadGu-uHW7UE4eK#MX$m
z^SpeaVX;$#k8kOg7muba3^?M-DlYC`sLA$+SxePsO}E91B?_)d0+UqpvV0~u96WY>
zcV%U)Pgb<@w74HT=A3@G`}v&ryTdK|oCR1Iq%!V2w)DRD{#c=m&go47UVD91gjPqr
z{{H9iuHCzT$LNUJdueK)l2|<X<P-JlrT0BG1)Xf9x8?4C_v%$uX<^~VP^MGc-fnl|
zXsA~ba(ZBKPTC<dD*LL<nyXnRobqS*6j{79n-m;0TZ6cgc{WDyFkCOyU41iOqAe#s
zKe=aNfX0JLx$f@nmP8M|>5spBnbO+IYBZDQXU)8wJ1v(jTgK3_NMn*N=aQ7v)YgRy
z6<1x=YISPdy46&ulf~TJJY{p_rI#izOJ*%ztgJPa%WLI+6&8irXN&6U&fT~n(d*Xy
z_;IqHzP_ZaY-&x-oVjylmrOZx=FEmITfVFiXSfjcxKggRww8yF?~w)H@87>wCVTGM
zy?f>L*FX08+sG}C(c7*r<n*9Yj^Xv|*9<v%c}xaIMoj`ujg5@!)~&k`wOyTQ#r4-Y
zIXM?@-}d(R=bt-wF2k4a-xqI9tE-#0cJ10}yK+0H1ig9pPHAaMQc_ch*3l<VRJ=6P
z($jC=zFqxk@1JXND?=W=dD9c3b@bsw#ic==HFoE}d@<P>!}of6_AO!4)lqSA&%S+|
z*4)f2b3C!MbZXJgGhe@&_Q&Y42uRDx{Y$)Ewt7+Z<iOQeql~jmq<-wXUsP<Y&cWp8
z=VzrVAeFprk%kk8qll|ZAd7>JSoTpTj+pDYM|~xd_c1Jd_2LD`>Z`A|SJ?b>@|yX_
v_@m~Jee*TNy5)6F|N0kj`2VjPbxisaYL#B*za1GE7#KWV{an^LB{Ts5(=S+Y

literal 0
HcmV?d00001

diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/styles/styles.css b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/styles/styles.css
index 03d9c9e..6590d33 100644
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/styles/styles.css
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/styles/styles.css
@@ -41,8 +41,6 @@ h1, h2, h3, h4, h5, h6 {
     font-weight: normal;
 }
 
-hr {color: black}
-
 .minitoc {
     border-top: 1px solid black;
     border-bottom: 1px solid block;
@@ -218,9 +216,6 @@ table.list td {
     margin-bottom: 0px;
 }
 
-/* Rules */
-hr {color: black}
-
 /* Image offset classes */
 .raise15 {margin-bottom: 10px}
 .raise14 {margin-bottom: 10px}
@@ -332,3 +327,16 @@ blockquote p span.rmfamily img {
   position: absolute;
   left: 0.5em;
 }
+
+.footer {
+  font-family: "Lucida Grande", Arial, Helvetica, sans-serif;
+  color: #888;
+  text-align: center;
+}
+
+hr {
+color: #888;
+background-color: #888;
+height: 1px;
+}
+
diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html
index 2264cb0..146196d 100644
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html
@@ -26,7 +26,8 @@ Manual
 
 <div id="navcontainer">
 <ul id="navlist">
-<li><a href="index.html">Documentation Home</a>
+<li><a href="index.html">Handbook Home</a>
+<li><a href="">Handbook as PDF</a>
 <li><a href="http://wiki.event-b.org/">Rodin Wiki</a>
 <li><a href="http://sourceforge.net/projects/rodin-b-sharp/">Rodin Download</a>
 <li><a href="mailto:michael.jastram@formalmind.com">Contact</a>
@@ -35,8 +36,20 @@ Manual
 
 <br/>
 <br/>
-<center>
-<a href="http://www.deploy-project.eu/"><img src="icons/deploy.png" border="0"></a>
+<br/>
+<br/>
+<center id="navlist">
+
+<img src="icons/deploy.png" border="0"><br>
+This work is sponsored by the 
+<a href="http://www.deploy-project.eu/">Deploy Project</a><br>
+
+<br/>
+<br/>
+
+<img alt="Creative Commons License" style="border-width:0" src="icons/cc-by.png" /><br />
+This work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by/3.0/">Creative Commons Attribution 3.0 Unported License</a>
+
 </center>
 
 </td><td valign="top" width="40">&nbsp;</td><td valign="top" >
diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/cc-by.png b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/cc-by.png
new file mode 100644
index 0000000000000000000000000000000000000000..822491edb993b072fc183a2ce23adfa8c94cee7c
GIT binary patch
literal 4739
zcmeAS@N?(olHy`uVBq!ia0y~yV2EH~V36lvV_;xNKEd^Xfq{Xuz$3Dlfq`2Xgc%uT
z&5>YW;PTIOb`A*0$S=t+&d4uN@N{-oC@9KL%gjk-V5qn?H#j{c_@$Wb_j_NQygM4E
zc;^R+awr5jbvKAiRMS%A6!7X$TzFG7@SvcpD~t4r1s%+NeGNULfjT^0TsPRCC@$)2
zUfj`j>i5Iy#o5>Pe1CTK-`4AP&)0mOyZJo(0S=yN9>#&D4LmEI<OClyA3t*J;S)WF
zMlO{C1_6%EDT>8^l^Gd+)Y;f*D;;3p$G})|nVW;*fbZ-B1~Tpc`CmEBjA3kOVLVVW
z(ZZXfL4?7fs?TW|gM%Am!`vBa!3+yn7!pn=Cp~5e&}B$auYY!#p<(WinbnL8(Nh#f
z85c}sP!LY-aAC->W>|ARtjm=l!hk^}&HIQY!wp>q1JCd@4~7lf84jEi;NHZ*!NXt>
z*wL!Vz*5bSa6(zRf}v$5gNWOwaGQ_X>ja)_F)&oj++?#;#nQDgnnSmcJv>}bPUD=X
zxVDH{B2(fl2fag;GbN20P52*tKEuGUV4|qtgXYhFE6(w)J9o~kZyR5{?yLQ5|CN%G
z9{+oKeszHZ1H;3Tx{LpG^fya2ShF?c{#&H_jwK_GdqL^<?zBz(4qF)(yu20uxd0S4
zt_vsZym|BKlP5R4jyOdpo(ix1mwqVzK=|LBpLI5WzJGnN?~zKQQEa0-%Z~?#&V2D%
zDsz4kXG_wZXZ`MfwsZggBYRoth-cEy2rZGvfkK6SF0*<*8!c7pbeg1jRQ1yTlt=e<
zely$MH)Yt6Wye@OQFldbGV?cYb%BVI1CPElFnrpbfAES12XjM4^TYGy|KHpHbzh*$
z(2(XisgQvo&P7Ep<kV*S;~WeOE(;p9HaJRuIVhoXfKBEg>z#w#e-g}EoK%h+auRUj
zN@<WOO3+-><fPGdc7v=|g8mf;S(5{S8Eumb`1B5i?%=a6;Qy7#G4G(po<>d<#}gdF
ziHf&67?Zjpl>0cuXSV)OJm|q9)UBd$vO^?L$$O%yhhb1xh(f4`>?hkICd>91w_Ovh
zPcRrY{b}3dZaAfJQ=sh?o~_P1SC~t+xGmzokWyket6yxv><dL(q-=Z47CyhQI)ndK
zzn$}Og99%l*o}|m80Z~4?6lEBhjViB>5WQjcvc^i+7Pyed3Wd6<ntTLS%ey04{(~X
zlshRT$~k&O_(b^K@K~WBqhca>i_@Hwxh3$By3*to-dogm3I04Hkz{1p9^s**d`+ld
zSYM#J!}*B0icqJsk^0UFOr9H;gj^E3<aQ}9NcpAC%Go9!Qp%H0-b%^d#BMo7M?w2U
z>yx=p4nHw|BK<`1Q#9AyB!|K!KY|}=1f9zAl6)%g)Z{5!>I@^t(8aTY?yguEB52wl
z<+OI;wxIQa?JI;$N@rP~Z5H$NUb=SC)XP#C;u+sF*S{#)C3ttLoZs{d;g?Robbm4Z
z1@o739^N+5=Hngd8j`am*d@{>%O%#&@L48#xm)shh=IA`>lx2y^3Ti<jnLYrRU<m_
z6xUR*scKWDwe&+)u3EP0-YV|U&!MM7`d7vU*RFF5H4c8flJm;6)uF5A2D}cI4o+Wb
zy`p_p`ilGz`z3Xee>>SC5BnVUcU}^>U}OB_J;xNdlO;D-=qP6Mu5K%BG(DoW@$Ai-
zGOgV+{>tv|wq3Pyp{292mvQ*!pwCm%?AagBDEu*}#E<j2#`5W(>$>iVyw`lBDZR|Z
zXQyFmO!lg2)2BtO_E;Ub+WqxjvvqHm&t10Hb$8_NMn1>mUg|OG?&<yKSm!<uz8QRX
zIoEPAUt6oM>-1J-FO^=n+ogPe-tu=d=Ix7XnCFwf{9fhW=f7lX_5X(a&Hc6ft2<8w
z+h!gWw%a`CBy5hF7UtW?>L0)TG0-{ou!Hl`#HoqXAGS=~dC_L^RkvO@{+`TZF^^Rq
z=N`*Fwpfi#O;OF;_m%IvSwX%#muW7u_ObRke)i1SMQ5+gG@Wg0c-`pv?B}zu&%VDs
zA*v!uXWNQxJ5oJ2J&9Tt`EJ{uyw)ho$fXgXQL&rd*3Mn4dTsaG-OB}+@ARAOw|d^S
z^urrIZacYc<#x#pPj9f@UbiiGTWw-`l6d;|qw5a8o4j{&?XKG1zqahW?Kk;W%SOr8
z6>ljLu?n-gH|yM-clNbMzf60npB`~u;QS5a$J>NYYaYp*8$A26d%Ae~&f@0J9o?PY
zO{evy+v&}gK6dxS-X~rqUkhU&R$cl!clPGlhu*HZz5boqyUcg(cjlilnXfr7(zy7-
z;S<ge0-s*A=bk^+Ap8EBI)7*X#`LYvmGzVLCx)-RzG3^)@>Smx-;3LQvn!ha*zU27
z`8}h1k@08D4{SfN{j~q#{CV-M_nqsN|EK(~`hSsOd4norI&){EV`DVa?;lk)iu?QQ
zt!}4&+jR4-W6y$}j-rnJO>3K;9$c%KapKK{wTj=L&p0>nTqa*@K;4UL7uXY@C3YXK
z<56#IZw+s=?<?qtkh*9%-L(AT9p~cvF27u+x!jwbZs>2hUf0W1%Wjokmd!2mT_(Hi
zkLjgFp1B$^H^MW=TgFmPYn@qM&c6G9-hOU>H1`qr<7)94`X^!wDi@wR^rdyV*h)Pi
z9jj>$J{^7*Q$9EfXsr<IQT-%buG+^{c}Vt9x|04yvx^-!oMW`){62YT`BqJOGjWe;
zrOHv`r8-Y{wy3Y1u*Zkj=k9E)d1AB56mpGht@au=PntNP&}o&T@8oUiuhO5Tm7QLb
z+PdlA(Y)^M`f^j*PiAkPu!c2Kmus8TvKJvy8rQYhH>IbBr|m!6dCGFy>Ur8{-=5ig
z>h=WlIq&EHe=BrI=;5SoOWVA|b!8)-?Ol^)xyh!m@;29FQC97?Ft#-|JG!=M<zDq)
z{Wg61y1Kn;RleDcaR*N|9o)*8{hB+J>uGE4>pR!q#`;I-N8aC>_^WNMw4G>Y*E*5g
z;?qUzZ)n`9cq-kVe`^2CJ5#o-TzzC`%K5ZQX)mAM)14R1H*MAQXVdxecyHd?!h1h#
z%iFKtTyN`7KdW(jck?#qos0L|?AVjK{N%Z_*7hMwLcWCj3Nd?k>F(CV>p$`?zLT!r
z^UdVV)!Wf~zW=p5x$kx;W2o=dw5zGVJ%4ZhZojT`)yp5#e&@!n^~)`Mdz|?a^Ivvl
zzHQfcUb!lJ$u=aY|C;t|cfRBD`~J;+U#`n*#v9r@=h!3V0+-4sFTZo%|1QUCb*rqW
zdd)-j%kpKi>9YD+PP0DEa+@7I>vwcg^e+E1b{DU`x>xnb{kA;+921+!O0Ul$Co^xo
zY`Q!-{nPoLxl`xX*6IDclW=>{w(94}=k90m=fB@2Q1bAS>;LZO)_bha#eCXP@@doU
zr^4Yo!e_0wiqCyj^2+Al<jelYchA{9Yu(P6?49qb_HM0C`~FgTp82`EU-njh6#IYe
z>O4!^yL&%Z<$pi={p)?PyLCnCf6txXeY0Hs-P%3=d*Z)1ymh?ke7F6oee}OOH{Rc=
z&pJ@P;Pb^h?%&y3o6rB7__d$knYDjr|LHc~w%7A4>?|!G*%$qN`DeNF`IPf&^Thux
z`geMrxR`$3kE^e*pSw8Y;=<{lrcd6VTeI}<s{^kk*WW&N=$PETlNH8>abLoIzdcxf
zr(E{^;`{vmPihqEHU4M(-1s&4!t&pfB_~h*&%!+8^Pgm6-P;Td3@qu6zK#qG8~bX0
z2To>SU{FZ*2=ZlMs8VHMXlQ0&`1zlKq2VP1L#Y7+!>a@a2CEqi4C48d;*Yv9FtE?_
zba4!+xb<dMe9rA-vd8zkUvdn-BK7$S?=6O(zOTGzq?}CFSzCQ`(=wH&w@Y6u+4HV2
z^mrAvUiZxjuQ__clTIF*z;t-qtcdyCmwz(9kykpUyTP?gNlH^;uP49hHoKEsZ@15^
z&*N9|Uy^FQEqQh3EMq^LkMA@-9e)4!UHN|Fg;U%(6z4z8y!G8hQ<a5*wc&RCe%8Ln
z2MT2>=CL3D_`s4+=Dn;XUrWIQ4n{>5g(Lg9G&EK?KMY{+dz^NA+ug;<hquXE^qqYr
z^J>GlDMA0!B7S;$*w_73XJBAz_*GCjuiW@}`DvT?*9!Nr&ukFTJ8`}Fabs!BjBRh9
zCfww6E|Y0*<ZY^(q`=K^sGyS3>BWm@vx~O}tPBZQeRadOU1GZ~B%}x|_nYhVs#<eT
z$v5{6vT`!%JN1t|b8y&GE-7KhSL)8R$I#^)`@6rbR$KT@Or&}*{B%)b{5hxRv3mbk
zQ6ol&|7FkD3$Qdgin1I$yQg85UH_x0O4FuKFE2TmVbZm6`!NHX8mVcyhqviQOq-s|
zJuTI^HGkQYy{mrg|Nm3u`swQzb4(Z+PNoP=QekA^Ioz=BHA6#%Qs2ch8vA~(eg1n<
z0#n1k&A<3L_FQ1q=1Fi6m@t1vi`nXpe2X-krllT9GUVasXJ%M+RqNJUGZWv#r%rKY
zYik?TnSS$@srzQ2bGj)ra)XZWwA5DLHvStQbAHO@e0;uozOwPGqpx0Rr9`@|3~|yC
z<KCLN{q~8cMHftXCwj0<@1D*tW5itZ{IIpehl6|^5&~>a1+IZEX0u(@CO2wyMaKn%
zhCV5>WV4#r@!0?UU%~S-c08wz5@)Fee_A%-<vj-fJ(Y}S-GpD3NEsU&-+lOU=7I-b
zLqd<9IKlC#(?TzHXT^gCONIxw(mEe(SnSrscuopfe|_Tl=i6Jk8D5r1tqtquJ)5?;
zbM?_|#prW}{VgS%zi$^j<CmMa`C^OCX^HB`z3tolmtUTcDtXpT_`CQk_B=HUh6gp<
zd!7egeePVKJ=N=c!EL?HMIByC4=H4CmRfbS^244DmMQ1Te+xA2xxA$I!M*I2Ax@84
z#m#;#oZZ(Jv{K|%^@E03*4<iqahgT}#>U3{p>NA3{M~o-zKCu7t!8hV`LjOT@HFYA
zY_dMl>&ARCWs^ILva)hcOHWTv%d4b~5|d7*^e-<g;QA)_@7W#QXSykyBbOc8s}d+O
zGiciM>4l$<>26CXRLsv+Dw}P#+dnkaTsQyv^8*aOvsQ&@@%X7tPV6m-ZC|9}u{6kI
zX^@5pSM)VsfB*J3bJssQHP_2wZ|r4<6N_hd9Jk%c&FgePuqkTovt1FJ&K!8Lt1m=L
z^wpBrRwc3SYLgomY1o!}dwb`YO;43vwQ5n=>YdsL7$O#MZ+|`Y{Xa#X!#7HdK2M$P
zx4itya|Y2jb}RNfSyz40$ewWe>5RKsTcdI=S=axw3ErgQnXxr$#@xBQKTj}3ROXhh
z&E~st@%gTD;fWq93tn5@dRz9Q=0Ys@wA%R**GpA|I{#@@Jbogy#sA-IzvY)ZjwbPJ
zv7h)u>+9>3$agaXcD)n-ePcWOg!3med`u^terjNCy?e3UzKkcuMfD<oLj8{W%Q@Q!
zwlB-Hy>}?Az|_~-M)19NOw;FPUB`OEjQKUDt5<bRohmBP*0^w?q6k;(y7jMhCpVWK
ze0bxl_s!$`?2fFzFXyZx)VOL@fJp1#v<v)s+iwSmuwK4=xx+<C;%v{i{7IklQw)qc
zwq7;W(be6^_OoW*-7gcB-JKr%u{vx}_3F=)_-q3s4lm}@i2*;}U-`Z5d3%N4Cz(^%
zmw&un-gUu*ch)k;Nh%(bSOP^BzP1wfwQsh~xwo(Sy&j*eRm-7PrY(`Yi!>Hpe%WHv
zT(t8{63@vLp`SJLR&I~c+q~_d6@!G7l+*6J$GY#=3tsmM|G58a>5OMqKBrqUqc;5A
z(UN?4qpVoV{p=T?3c12JC7j<c{=c=c(fLQlKjoCViHWCA=9vBVuz$cF#*px8uI8T)
zXZSbdtxLXZk~mY%C!6_!JI4>3b&TbF47V?NE^8C)bz@{`by|4*>rLON$jHRar6y8e
znLgHKTxxuLGwFVe&B{(@hIXqBx#jY2FFoz%nXpJ>p~U;V2g`yqua&<!Yp8!9uUwJc
zX-dwdrT*8Z3C_O5c;Vw8i`X6Ui;p#1)qYK1|0~#bs!Hdz*QL8IU&-3KLdA2<{xv7A
zR0J&N{+|8i(bMiXf39nk?@x(8f8ppaCR01J6>Cns*`v`_QdBgl%xbRg!7?jZD@#jH
z*T9s&e)Ft6r`wsmShUgM_~*y*?mM=mf3=?|fBbY8kE1}r+6vzH|DXP~&6gC_^F6dl
z=g!{f!`b%rZy&TL9oWNCZrrr`O7H#OX-Z9%O7`!xemc(GxBTBsx5XD__ixNF@jAU<
zKlriZTs<l7FL&+t+&14D;I&<s{d{dE*SFwrUwPtwzSPbUcUm7(nEdY8w%gy*pKkV0
zYrh$H`_3I+AJJvMmQV2&`ID;keIeta$Lf8FO7)EQ|M{70kQU@IS9-Gj*Z+!5e@?3Z
zxO-LT+3L@KWxE(V`kOOv6taB#@*#6h<x3vFn(r+81Up-jcg)NFdh?amJKcMS-_G9t
yo9~<U>Icg+<r#v#=Bu{Ud=xp_*rW03KO=)r)dId1jlH1ZCI(MeKbLh*2~7Z-fbKW|

literal 0
HcmV?d00001

diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/pdf_icon.png b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/pdf_icon.png
new file mode 100644
index 0000000000000000000000000000000000000000..b6d2742401281b89915d84a8bc750a757b947ffb
GIT binary patch
literal 4982
zcmeAS@N?(olHy`uVBq!ia0y~yU~m9o4mJh`hE<t`_ZS!$*h@TpUD<E3i3%I)a)~s8
z)N&ShL>4nJa0`PlBg3pY5)2FsEa{HEjtmSN`?>!lvNA9TvwFHXhE&{o8_hi-^ytig
z=PkeAt291r(9?7{x`{cbbB*6Mjkfk9rOh^1SqnF}c1Nsc6YbDU3X<NQbi|aSts(WA
z*QTY*ypAe7N><U3xE|yvVS4O@vrC#pg2W8TXO-`5pMR^Xpa0JJ{$bUgGjqG5cl&;w
zQ~dkO%Xj~O-@nVg=)eB|?cG-|Gm7a(nf&{BTs}S^I{Nk_3%;A%d{>5a6}*3twYYnO
z&gp}uP3dJuGevf|v<Ups;Sb-}zv%48fDch3?_EoGzuslIMO0iwq(VDv&5qiqr>4HI
zO=YNfvant4PVxJ_=a<;zHw5G|9Vzx)x!S(lRUyWYZ4pPwsny-u9AD}e+ix%YSYmz4
z!0f0n=gqLFsHp!3+2!vTW?x$)zE6mu=EA*yPbU2NGkf=pbs?wZxm{*7H~l`6!YQEe
z{^OiZp;h|KhZ7=qJU3Ij^~}y^&nh8-FRx#`SP+q}-YaSRjML-D+M5gti}E*Ys9$(?
zwm4H&;kE6H0w-o<74h9K_J7*BulA(yp-Fd`8jo<hi9fUdKkcp01SNx|mTPW*h`IOr
zUxnK570>6%t@l3U(^~vIs5<?*6GK#v<+<KS<^#4R89h6m&Dww1<jAR)8Xqs*;SpQE
z?#{jC{_<V(Z9Lb>9j=%cw7+%NvYxEftLi5kZsQ2OJIy86SvP7+$G11P-J7+w@)#oY
z581`^KXd74w77U7;c36DH*5TFshgIT5esWqHEGANehGS|`TG6m^T9kvo=dPq7^h9x
zp3JWL`Ze=`pe}~jkGh{m#G0B;k`P`Z@jcP=P=%-5?4?eE@3l5aSN29sZ#L{={8PXG
zs~E4m-Je};ZEe#}oj(2i(_=Zt30*EOi<Y*&d3;<`toPK(n~S)Q>K^=cx{b?9V?p=D
zV{V(gyg1Zmu^id_`fB*f+HX0hDjzUvMQ-a^6XBz0Q~5!`)c&u@*8dOKi`IO)yIXVl
zo;fxzwgg9bFkP>Gd_4Hk=JO{`on9<*o8?pQifJ<5o($4%Yzq|Z=fC2US@7&xnwFN<
ztf=tt?=h~fM{7zfKczBmU}i8#ROj$)I*?Lry)!pgBtLiRbruf4Pqy=RGiaR5TNiJ?
z$#IWp|Kz!|y?<^_3q04%FZ3{${mAVX+6jA;o7sbZetH_h)A{m%jb$@ipvZxz)20Q9
zupB?&s}`f-#C)IeK(4OsD$TxaF$U`Fe{UO{FI=N4Ui|#&Q(wD^4-bl87`>UpD4?)R
zw!4p+LCvDEy7K9Lt`-(G-%nc?D@#1!5WBFeZ0(-&bFHS{5#Fa#=IC$Ve!?vGmP-9}
zC#wo0wh5=}8a4^D{1v?F8qao-xjpjglERR-i7%%7?R+fRJg>cQX5!n3{{E>)9bzgU
z9B54c_5FSQLrca94H;WCl^*XXYs{F&w$DpILZCqU+Wbd5UR^r%-puS*(2_OVVnoDF
zW?iwUtr8GEvdnk!lZ%T#-D?ziA|g7`v~trFotL}}4OeRA+Wl@a<a!7z*ez;WTeISz
z=M5gc+C=+B6L=a5ZuZGq&vUxm@Qx|r7DE>Mp;(1!g1(zL7I}RPX5`vfcw~v3n4YWf
zuc(hNmrpUzno@J;%OP$dmZiarf**HTood$FA#po7ywlD(LAXQvl-ZW2g&P+CnjI?b
zxQ#J(O;v>YAy3U;v2Ub8HTCqC2~V(N_*lB)@UMf-?Ea5cOQjk3S8Us`B5C5R**QNX
za&_CxEcAIr#IiM&Og|ovuj+i2$iTiX?rr~Z?y&bq6ZCheh<;pi|Lg}bu^rbAmbE%A
z3SMWx(@@sTdFHr~0JCyYz{1~*if6Xe%~;MWbo<h!PrMButQ$V?S6sQN%W&iC28Yr^
zH!?XNXlwF)SmgP)Ot{lQ$!^yRrJ}@}%-fe;Io#~N@@VOiNvcmoL{4m59K9{zXyx;h
zzis#bQLX)VL^!15H`A7*3#HT!KHJOIpxNobG(pEB$x)-0?ft=R4fV=aQ&t%kJaAx3
zN=i<Cd^$BX^?s1^Tvyf;{3d=yQ<jM(usKb;*q>YxJBv}`v<J_${k#WMrW}bVC|oR8
zH^c3qs@J1~AFX0mEB%}D?Zm`O|BK(739RqD>hP+;>p17!RZ7{5G#ca!{{8%78KWp<
zXjSxt<DjV5N(sXx7G7DaDXUhk%6M{O;^YNt>m6bvWR2Lompdh@Zc-P$rN(ee_T>v*
z!ERRO5<W>MrpA8eM?dd2dg*Yx_b&@v5wq{cw%&U)O-`yWTXQCyy<oNEb-R+PB{MXu
z-h^Zwic>hWirp{1;2^7!R4%Kq(2V)HOsg4oA74JN%8SV`@leak2@~QSti=AhGI%gv
z$kaKs=uD78LXO$}s?}TgV|SOa)>drTyE^Qmc*i%3h)o+$^nHE((!ymc%lWRr_}wqn
zPPLxco^#i0XP1Vc(zP}7nC^w@JW=Rf?0>C(-uzz0CPhyh^{_eK1`=-qC1#Z0t85QV
zJ-E=h{Tt(k{~XK$DtWvA{dpd$9~O4+tW2kr%<>C+>pY{U*)Z#@-F?f<m~l?<lT~F#
zE;|GEE>5nU{9EML+2Z1ojq;_UOV;uq*Lkzdal<*aokkD;%<jB?e#fQ|p2j7IYR}I!
zN<H=7$m>Am-`~|T_pV5Ht0ouziVN7)vL(3c(jv|ePPKb4M9ec>R#ME-o;*SA=bA-L
zN~NWr?(wZX+Qi$rLAF6<1IvcMDUvD-3DO6??=n)53D`KRK&#i}*L}kytJ(fv3i`h9
ztkapZ>a(t#lXEwn#eL!R0ps<`a_cKL@2Wbb@T2@5=cK?nFHMa)qE1z)9e<j^-;&Te
z#Xet-^TnD5*Y9FF6B+`XnK{q7TR1WqS_*u3-0<zE!2gy{E><U!)@6H6_<Pl@o2{Mu
z%2MXINBa^Fx2-+La$vgNZo6MEw(gg-{T00@a^iuOX%@f3oUEoWFdT9J{(gB)#QSgk
z_G<ZOB(zvQuARVkPF>-!V}uT8(EhLICfWCJ&F%FSDK>6hucPagWOl&%%r)-~`|or)
zzxG$_FW90XXtwQukKYW_;N4TY-roKzo_J;n_r5PdoA&>3a$8>2-FtAWGsA0J57{*z
zuLgbOw!b{}YOD72Wy_YC%u>G6+;mV`DzTV9fIVQ|^QB*}bMxN1swa5$+Nt?^S313~
z%a)%Iu|Ar$lrbPWJL<Xbx!0?H&-{GLtF>qAQqS6c29Cvfnwb}bvznMYIk&G~qRv{c
z$LJcTC=l7jtv}^AliBN?f{jMzl{~&n?j@TrKKMEFwwm(~$@437oo@ZA=4x=8E57{w
z*;V4xSKhsJQcT*WPMoo4%NKV3NvzGwKeKJ#&o)8Tv482+14c#SciXQoy)K^S5vFp$
zsEF<C!VN7M0wx~2=9agoa^IO3!xJO_S(l6XMOc^@vj^M7XLAx)8omFzZTGxr<|VyJ
z>lqUC0-|GU^Na50O#hz4A!=ZzziwrxP6cb+vdM{h!Y;fma;I6MgjZjkbk!;4Ly#@g
z0g>F`E6pOe6e9lnUH1KVxVnd9=3dL<6HyzRl;-Fv&E71Mm{Jhky_vJYvOQD$OL3m@
zRi(EF)TD(Ls9%z~Aj2=5@8ufxu%T7F{-ml%?Z3)R>-Wvt_3ho)&)o0wUw)nz>~>D4
zDo$5ciX}Md%N<4b2m9yqG8pOlbkAEi&9Ot%bWf;WF_VXbg5(D#5u<rhdo~!F9=&f;
zrgpv5^s4%5p#|d0c24oUerDT-?nw+Aem_n>@i~?02%Eu^!{^!RZrtASO6Kqvk%u2Q
zu{Eq@lA4ew8Yl3lR!dCz<J<hnpFf>`qEPrTLEM6G!<%B^pn3D}E{F?Wzp9~g7oYv%
zw=<I%BO|Xk*05Zg-}zi9cKf;d`5K?C@2-h@BgwIDW==pD!-Z>Cdrp}=dX}%ZTvf;F
z$lmvMUQ?${nqf6n>HcrIn}6192xvPzbJCo5A;xYO6TWz<NL(|X{KNQfn7)vx$cekp
zP9*mSe!5$(xsER=>HhzH@}h_8=dV`DP&iYtH(bR*S;o)rOy}YK%-2sIvHP<@=CG{g
zq&;(Fil*x<JaN8G?Q+UO=STXpv!oZaE?pSTU{L(d;JWcD7H$TfSQaI@pBMWzIwc(5
z^BoOeH|4vfvfGd7+yK@}r&>ORIa3QGC66fR<^1sZKKWa;s?(WFJ<rmzjMb0V`MKuI
zd!_#C%SXlp{l%(}bVBnk&Sl-QW{2bD6EnXj3SP;b!}76n1FN}s<i0s~p3nRIbq>Gv
z&j{J;B00|K-rP?`#k~a{)ikkqPFVcm<<wgb6khYZn|3+#p8tsn3%+)-%$PW1=9G-r
z*}L4`W&2#N-ds@q_p9TJ)8RY24<|Id*5MSZ`~0nZ9aC3@_nf;@;q#Q8k8&>$X<zX@
z*I`G-x!IGwUp~;z5B%6ERC2fWG4KBmt^BEyHWH3zHB3Saw%@Y0Ty)s9=yC6q^X?A=
zX3x=HzeL8RS4Vbc*1@gUClx<x;dj#TG55ZvbZ~Q{z=E}RX7%2PfAwOC=fBR$R)Ldh
zU%fiPXz(q2{lu@g@Bh-jU%<Tcgy5U)_tn@7nWkSkYaV<(zs^}My|apsZPU(~b6#bg
zdU@Ty?n|PVQ<%4}@7c=_RxwOelI!RG$6++l<3#qdSq}4AepP?{ddWw%@ce$^b=r4$
zrCZGN=jHD^XCGg2c{%s@@B76+-io?d`f14v2m2MxdyZviwU`&DCA^#T`g-@eZDtqy
z(sNg=U7^0SzId}o&MlSujdv$z-`SLU`q&z82Mc%mwJ(;gdf%q=<Tq2`{J;NxyZGCA
zetW$>IO|u*qW5*vC++{YHH7)+EW?(=>JB+JKVMHMe7qw2Fk6v;o%_7nX-XRuX9*NO
zpZg><RM7E{Zpin4zy0SHq#CsCO=G^)k$yLfebu#Ty8qIS_t*QdXzNeYU92*n{m+->
zPh#tKs!S+vvyh&0U;bcl!PB>e+vJNDizJ<E2)MsbWdB<;ruLPeKP1-6nDwldSN%P8
z`ibA??1NuN=TAN^UoulLW1H#&lUXP4A6K9H!ehzpTTAq;I=-?h?HAdxw)^QW#t0+P
zu=&ql3Rvtps<zf9y^@Dz`{!lsJd3(#MQuGLFMKsSOYQr&r&r9%RGzN?!>RJ3BzZ<D
z=LD95q$4Xex^04@(;qs`|FP6NRo=hW_&^~;eOfY`-mDWohBX$8wp<mH%wHJI(9D~_
z;@0m!C8A4d4}XN^oH?u4hg_MrZeHYchHmloJKj0?=ekt<(Okn?xLvNYWzVgs`2k|D
zC+xkj-2CBTvAgG5?Jr!aY+>`P*SdUC&Y^g!<H^%YFJ0wldp_aHYqN&!i>EH^ZYb~;
z)IX@9smQodTvRm3>5ygf&g|@>dAEOd{64$=-jwHmYnawtZJhtn-1+M4)hib+bYxPz
z|M<J5#p7a^dpQr!mz@(ZOygzvnQJJf-q}8N+ksktL6My=lq!Ay{(0UwC1T;338&|l
z-xK_EZMWsD3!UM<Jaw;q`Jx4@-kM$y@-8lxswj#po$_zG)5A3@8v+vZo~+y5VfQCM
z==^0j`HF^&?|J`2ri-7DmU*@MQ-YwDNnPP*ZM%RU>^D7xYvWeF{&~!3@@m<(Gl9)V
z<GTx9$jI3TpNz9QWB6nFe4)nE^Q^x17Kwa6EI+B@y=|t5?pMt{I}a}OKD?1lOH*rM
zpm_hnwd?mQ-u^MW`E{Dl@}&l|oZWerKU$P@)9(ASN|U@ls*M+A4AwMFySICan$JHq
z*;Upu0`|4fcy|3+rLA$WZQFLn2aRiH&3aH?a?fVb&(EHFey`*4*%EDYIql`KUg^w>
zP0<-QA5{w^)@j_<n{VM*$6)#I(*C8)yT2=U7G)e<yZyof$L5Tacgut0I{*KS-K6aI
zbm`yBZ(C-D7-lSB%G8TB&y}i8zgP3?*_6&rYi~<$y{l^_^6XIJ+T)7P<^L%h*-^-3
zxUV2OI(2t<z)e?;H$^9;SIH<9&;0Li-Ysjrt-B&TrsnY~?G$Ox^UuXkl^*GQ>{}P@
z#d7{}=Z=CR<xi___sM4a)L-B6ermvtbmvR|@1!1LaZ}6K_QlVS?Mr2Dl)d#Xs~4M2
zuX-U=ARRF8)nlbUtk2i4*wtkB>v6k?X2;UGBG<3WHo5RD{PpXwNy!O;t|?D0{<glq
zd}Vz-@7X!F-gTj6*YB1)>e?3Rv~P;?;cR$6?ar4Ot9Q*))HGUsa;b{Y%3sc37p++1
z@@Cb|na6f|B=%+GWm)!aKJ#<Zr#dA`f0o?i(w9{oruX&r-J9HS;OdI^f4<h1-@Cap
zd-;Beg6sna7_Z#C=U4sx&ElgUG>ZRyta{0GcbkRiH_aut^Z$qM;w?S$;bF<c7ZV>8
z^vsg(yS)GJlR63C{;uEOmj*34n8Tp|yGrzL(%C4hnjQ1f&dr!u$Q#MqawtA$&e~U>
zKC0I*N}pG&_T%sB|9?b9MZ_*HULAgU<Kp8>LgV*73(T^pnsRMjth@Td&)f5EyH)?+
z;{GpxQ)&O&$!&$wxA@-t^y%AJc$nLy@|4J~)Q7qyJaTFZKV<x88BLpOU2doQZ~D|%
zuU@@bdEmjp=2$+f8?z3xrQAH8qW3U%**lT1jVzb*du6T7a<f;sGvwUg_jkXSmseWe
ztt~70)s<%U&HsPPb-vK_sZ%41pPgBGb64r>=FIceRtMGR*BEWzw5iB$k|0a7-#34~
yP0UT9QBkkfMQ(n!@MyPq{{QUt&$UDUv3u<ly>7Ps$U_DO1_n=8KbLh*2~7aOOnYts

literal 0
HcmV?d00001

diff --git a/org.rodinp.handbook.feature/latex/rodin-doc.tex b/org.rodinp.handbook.feature/latex/rodin-doc.tex
index 6a0b3b9..da53b71 100644
--- a/org.rodinp.handbook.feature/latex/rodin-doc.tex
+++ b/org.rodinp.handbook.feature/latex/rodin-doc.tex
@@ -51,6 +51,7 @@ This document demonstrates this approach with a very small portion of the existi
 By Cliff and/or Jean-Raymond.
 
 \section{Conventions}
+\label{conventions}
 
 We use the following conventions in this manual:
 
diff --git a/org.rodinp.handbook.feature/latex/style-guide.tex b/org.rodinp.handbook.feature/latex/style-guide.tex
index 37ca091..3e8076c 100644
--- a/org.rodinp.handbook.feature/latex/style-guide.tex
+++ b/org.rodinp.handbook.feature/latex/style-guide.tex
@@ -1,14 +1,26 @@
-\subsection{Style Guide}
+\section{Style Guide}
 
-\info{For now, we will manage the style guide as \LaTeX together with the rest of the documentation.  We may take it out upon publication.}
+\info{For now, we will manage the style guide as \LaTeX~together with the rest of the documentation.  We may take it out upon publication.}
 
 \subsubsection{General Stylistic Guidelines}
 
 \begin{itemize}
+	\item The Conventions (\ref{conventions}) are part of the style guide.
 	\item Use the ``we'' form.
-	\item Images must be no more than 600 pixels in width (for HTML version)  This is fairly easy for bitmaps (screenshot), pay attention for vector images.
+	\item Images must be no more than 700 pixels in width (for HTML version)  This is fairly easy for bitmaps (screenshot), pay attention to this regarding how plastex converts vector images.
 \end{itemize}
 
+\subsubsection{Sections}
+
+\begin{itemize}
+	\item We have a small number of well-defined chapters, the top level structuring element.
+	\item sections and subsections are numbered.  In the HTML-Versions, they are broken into subpages.
+    \item subsubsections do not receive numbers and are not broken into subpages in the HTML.  Keep this in mind regarding both the reading flow and page sizes.
+	\item Avoid linking (ref) to subsubsections, as they don't have a number.  Latex will instead provide a link to the next higher element.  It works, but could create confusion.
+	\item Generally, we should avoid gaps in the hierarchy (i.e. having a subsubsection in a section without a subsection inbetween).  \footnote{Coincidentally, this style guide violates this rule. Reason: We want the style guide not broken into subpages, but the proper hierarchy is a section.}
+\end{itemize}
+
+
 \subsubsection{\LaTeX Styling}
 
 \begin{itemize}
-- 
GitLab