extension = kwargs['extension']
kwargs.setdefault('paged', True)
kwargs.setdefault('toc', toc)
+
+ version_cls = 'versionnum'
+ if 'beta' in version:
+ version_cls += ' prerelease'
%>
<div id="topanchor"><a name="top"> </a></div>
<div id="pagecontrol"><a href="index.${extension}">Multiple Pages</a> | <a href="documentation.${extension}">One Page</a></div>
-<div class="versionheader">Version: ${version} Last Updated: ${time.strftime('%x %X', time.localtime(last_updated))}</div>
+<div class="versionheader">
+ Version: <span class="${version_cls}">${version}</span>
+ Last Updated: ${time.strftime('%x %X', time.localtime(last_updated))}
+</div>
${next.body(**kwargs)}
}
#docs a.codepoplink:hover {
text-decoration: none;
- color:#fff;
- border:1px solid #900;
+ color:#fff;
+ border:1px solid #900;
background-color: #900;
}
+.versionheader {
+ margin-top: 0.5em;
+}
+.versionnum {
+ font-weight: bold;
+}
+.prerelease {
+ border: solid #c25757 2px;
+ border-radius: 4px;
+ -moz-border-radius: 4px;
+ -webkit-border-radius: 4px;
+ background-color: #c21a1a;
+ color: white;
+ padding: 0.05em 0.2em;
+}
+
@media print {
#nav { display: none; }
#pagecontrol { display: none; }