From 10e1d4c7c2908961750b8de66aba7d5b6a68b5ea Mon Sep 17 00:00:00 2001 From: =?utf8?q?Michal=20Mal=C3=BD?= Date: Wed, 24 Dec 2014 15:00:59 +0100 Subject: [PATCH] Add version tag and change page title --- bin/styles/main.css | 7 ++++++- bin/templates/footer.html | 1 + bin/templates/header.html | 2 +- 3 files changed, 8 insertions(+), 2 deletions(-) diff --git a/bin/styles/main.css b/bin/styles/main.css index 65719e3..44a9219 100644 --- a/bin/styles/main.css +++ b/bin/styles/main.css @@ -278,7 +278,7 @@ span.expand_section { #core_info { display: table; - margin: 16px auto; + margin: 16px auto 0px; } #footer { @@ -305,6 +305,11 @@ span.expand_section { margin-left: 32px; } +#nineq_version_tag { + float: right; + font-style: italic; +} + #page_caption { background-color: #58acf4; diff --git a/bin/templates/footer.html b/bin/templates/footer.html index f12d5e8..da44f3f 100644 --- a/bin/templates/footer.html +++ b/bin/templates/footer.html @@ -2,6 +2,7 @@
diff --git a/bin/templates/header.html b/bin/templates/header.html index ba638cb..3a3a02f 100644 --- a/bin/templates/header.html +++ b/bin/templates/header.html @@ -6,7 +6,7 @@ - TGen_Prototype + Nine-Q Generator -- 2.43.5