Header styling tweaks (#197)

* Improve display of username in header

* Change colour to match other text
This commit is contained in:
Dan Raper 2023-04-11 09:41:25 +01:00 committed by GitHub
parent ccc709e010
commit ec4d468dcf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -330,9 +330,9 @@ function render_menu() {
}
?>
</ul>
<div style="text-align: right;">
<?php if(isset($USER_ID)) { print $USER_ID; } ?>
</div>
<ul class="nav navbar-nav navbar-right">
<li><a style="color:#333"><?php if(isset($USER_ID)) { print $USER_ID; } ?></a></li>
</ul>
</div>
</nav>
<?php