]> Devoid-pointer.net GitWeb - Nine-Q.git/commitdiff
Add version tag and change page title
authorMichal Malý <madcatxster@devoid-pointer.net>
Wed, 24 Dec 2014 14:00:59 +0000 (15:00 +0100)
committerMichal Malý <madcatxster@devoid-pointer.net>
Wed, 24 Dec 2014 14:00:59 +0000 (15:00 +0100)
bin/styles/main.css
bin/templates/footer.html
bin/templates/header.html

index 65719e39706b38adf054097373ae843b039798cf..44a9219881eaea608755806383b278806b9e7fd8 100644 (file)
@@ -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;
 
index f12d5e8287114b77c0fdc39e9cfcc899a85a5f5c..da44f3fa036b92f0bd078f9d6ce0b3a445f8de00 100644 (file)
@@ -2,6 +2,7 @@
     <div id="spacer"></div>
     <div id="footer">
       <span id="core_info">Powered by: <a class="footer_link" href="http://libre.adacore.com/tools/aws/">AWS</a> | <a class="footer_link" href="http://gitweb.devoid-pointer.net/?p=Nine-Q.git;a=summary">Nine-Q</a></span>
+      <span id="nineq_version_tag">Ver.:&nbsp;0.01A</span>
     </div>
   </div>
 </body>
index ba638cbced7051f97b97c8d6d71b1e80406a079c..3a3a02f2c58e58c606dc95161cf4b97a342aee0e 100644 (file)
@@ -6,7 +6,7 @@
   <meta http-equiv="content-type" content="text/html; charset=UTF-8" />
   <meta http-equiv="content-language" content="cs" />
   <link rel="stylesheet" type="text/css" href="/main_stylesheet" /> 
-  <title>TGen_Prototype</title>
+  <title>Nine-Q Generator</title>
 </head>
 
 <body>