Difference between revisions of "Template:Main Page/Developer Documentation"

From Event-B
Jump to navigationJump to search
imported>Jrloria
imported>Tommy
m
Line 5: Line 5:
  
 
<div style="clear:both;"></div>
 
<div style="clear:both;"></div>
<div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small> [[:Category:Developer documentation|Documents in the ''Developer documentation'' category]]</small></div>[[Rodin Developer Support]]
+
<div style="float:right;width:50%;border-left:1px solid#aaaaaa;"><small> [[:Category:Developer documentation|Documents in the ''Developer documentation'' category]]</small></div>
 +
<div>[[Rodin Developer Support]]</div>
  
<div style="clear:both;"></div>
+
<div style="float:right;width:50%;border-left:1px solid#aaaaaa;"><small>&nbsp;</small></div>
<div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small>&nbsp;<br/>[[:Category:Work in progress| Documents in the ''Work in progress'' category]]</small></div>[[Past Developments|Past]] and [[Current Developments]]
+
<div>[[Developer FAQ]]</div>
 +
<div style="float:right;width:50%;border-left:1px solid#aaaaaa;"><small>&nbsp;<br/>[[:Category:Work in progress| Documents in the ''Work in progress'' category]]</small></div>
 +
<div>[[Past Developments|Past]] and [[Current Developments]]</div>
  
<div style="clear:both;"></div>
 
<div style="float:right;width:60%;border-left:1px solid#aaaaaa;"><small>&nbsp;</small></div>[[Developer FAQ]]
 
 
<noinclude>
 
<noinclude>
 
</div>
 
</div>
 
[[Category:Main page templates|Developer Documentation]]
 
[[Category:Main page templates|Developer Documentation]]
 
</noinclude>
 
</noinclude>

Revision as of 13:57, 4 July 2013