Server: add information, last updated and uptime

This commit is contained in:
2019-09-22 23:54:33 -04:00
parent 7ec40caf8e
commit 14283b1a33
6 changed files with 142 additions and 99 deletions

View File

@@ -501,10 +501,18 @@ footer {// {{{
}// }}}
#server {// {{{
table {
margin-top: 1.75em;
.body {
@include vert-padding-rem(.5);
}
h1 {
margin-bottom: .25em;
}
// table {
// margin-top: 1.75em;
// }
th, td {
@include vert-padding-rem(.4);
@include side-padding-rem(.5);
@@ -519,6 +527,11 @@ footer {// {{{
td {
font-size: .9em;
}
.description {
font-size: .85em;
}
.status {
@@ -528,6 +541,13 @@ footer {// {{{
height: 2em;
}
}
#time-info {
padding-top: 1em;
font-size: .75em;
font-style: italic;
color: $base03;
}
}// }}}
// TODO: converted up to here