2
0
mirror of https://github.com/boostorg/redis.git synced 2026-01-19 04:42:09 +00:00

Improvements in the documentation.

This commit is contained in:
Marcelo Zimbres
2022-01-12 22:12:08 +01:00
parent 2390697c66
commit bd2485e5e0
22 changed files with 89 additions and 112 deletions

View File

@@ -5,15 +5,14 @@
<ul>
$navpath
<li class="footer">
Aedis 1.0.0 - Reference Guide Generated on xxx (GVA Time) using Doxygen $doxygenversion &#160;&#160;
Aedis 1.0.0 - Reference Guide generated on $datetime using Doxygen $doxygenversion &#160;&#160;
<img class="footer" src="rootlogo_s.gif" alt="root"/></li>
</ul>
</div>
<!--END GENERATE_TREEVIEW-->
<!--BEGIN !GENERATE_TREEVIEW-->
<hr class="footer"/><address class="footer"><small>
Aedis - Reference Guide Generated on $datetime (GVA Time) using Doxygen $doxygenversion &#160;&#160;
<img class="footer" src="rootlogo_s.gif" alt="root"/>
Aedis 1.0.0 - Reference Guide generated on $datetime using Doxygen $doxygenversion &#160;&#160;
</small></address>
<!--END !GENERATE_TREEVIEW-->
</body>

View File

@@ -11,40 +11,20 @@
<link href="$relpath^tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="$relpath^jquery.js"></script>
<script type="text/javascript" src="$relpath^dynsections.js"></script>
$treeview
$search
$mathjax
<link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" />
$extrastylesheet
<!-- BEGIN version select -->
<link rel="stylesheet" type="text/css" href="https://root.cern/doc/dropdown.css">
<!--script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/3.2.1/jquery.min.js">
</script-->
<!-- END version select -->
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<!--BEGIN TITLEAREA-->
<div id="titlearea">
<table bgcolor="#346295" cellspacing="0" cellpadding="0">
<table bgcolor="#346295" cellspacing="0" cellpadding="6">
<tbody>
<tr>
<!--td> <a href="https://root.cern"> <img style="height:90px;vertical-align:bottom" alt="Logo" src="$relpath^$projectlogo"/> </a></td-->
<td valign="middle" style="color: #FFFFFF" nowrap="nowrap"><font size="6">$projectname</font> &#160;
<!-- BEGIN version select -->
<div class="dropdown">
<button class="dropbtn">$projectnumber</button>
<div class="dropdown-content">
</div>
</div>
<script type="text/javascript" src="../selectversion.js"></script>
<!-- END version select -->
<br> $projectbrief </td>
<td valign="middle" style="color: #FFFFFF" nowrap="nowrap"><font size="6">$projectname</font> &#160; <br> $projectbrief </td>
<td style="width:100%"> $searchbox </td>
</tr>
</tbody>