Skip to content

Commit

Permalink
Update stats.html
Browse files Browse the repository at this point in the history
  • Loading branch information
Ghost-Miner committed Jan 2, 2025
1 parent f7f16b7 commit a32d2e3
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions misc/stats.html
Original file line number Diff line number Diff line change
Expand Up @@ -75,6 +75,7 @@ <h1 class="pageTitle"> Wiki Statistics for 2024</h1>
</div>
</section>


<div class="splitRowGraph">
<div id="levelDistributionDivCont">
<span class="graphTitle">Most visited pages</span>
Expand Down Expand Up @@ -210,7 +211,7 @@ <h1 class="pageTitle"> Wiki Statistics for 2024</h1>

<div class="splitRowGraph">
<div id="proofTypeDivCont">
<span class="graphTitle">Last 6 months</span>
<span class="graphTitle">Visits each month</span>
<div id="proofTypeDiv"class="graphDiv">
<div id="monthlyVisits-graph"></div>
</div>
Expand Down Expand Up @@ -370,6 +371,5 @@ <h1 class="pageTitle"> Wiki Statistics for 2024</h1>
{
DrawAllCharts();
}, milliseconds);
SetLightTheme();
</script>
</html>

0 comments on commit a32d2e3

Please sign in to comment.