Merge pull request galaxyproject#6146 from galaxyproject/devprod

Update link on workflow page to use production workflowhub

Author: shiltemann

_layouts/workflow.html

@@ -120,7 +120,7 @@ <h1 data-toc-skip>{{ workflow.title }}</h1>
 			{% endif %}
 
 			{% if workflow.workflowhub_id %}
-			<a style="margin-bottom: 0.2rem" href="https://dev.workflowhub.eu/workflows/{{ workflow.workflowhub_id }}" class="btn btn-secondary"><img src="{% link assets/images/workflowhub-icon.svg %}" style="height: 32px" alt="Workflowhub cloud with gears logo"/> View on (Dev) WorkflowHub</a>
+			<a style="margin-bottom: 0.2rem" href="https://workflowhub.eu/workflows/{{ workflow.workflowhub_id }}" class="btn btn-secondary"><img src="{% link assets/images/workflowhub-icon.svg %}" style="height: 32px" alt="Workflowhub cloud with gears logo"/> View on WorkflowHub</a>
 			{% endif %}
 
 		</div>
@@ -131,7 +131,7 @@ <h1 data-toc-skip>{{ workflow.title }}</h1>
 
 			<span class="dropdown">
 				<button class="btn btn-primary dropdown-toggle" type="button" data-toggle="dropdown" aria-expanded="false">
-					<img src="{% link assets/images/galaxylogo.png %}" style="height: 16px" alt="galaxy logo"/> 
+					<img src="{% link assets/images/galaxylogo.png %}" style="height: 16px" alt="galaxy logo"/>
 					Run Workflow in Galaxy
 				</button>
 				<ul class="dropdown-menu">