
Added new class other-tool, same basic style as #local-tools, for buttons elsewhere on page

Ensembl/ensembl-webcode,Ensembl/ensembl-webcode,Ensembl/ensembl-webcode,Ensembl/ensembl-webcode,Ensembl/ensembl-webcode