[automated] update groups.io wiki

This commit is contained in:
github-actions
2024-05-15 00:28:33 +00:00
parent bc4e27d7e8
commit 6299688fce
243 changed files with 5968 additions and 8293 deletions
@@ -2468,6 +2468,10 @@ body {
background-color: var(--light-mode-body-color);
}
#maincontent-column {
margin-bottom: 50px;
}
/*
This is to prevent the header and footer on Safari from moving when scrolling the
page.
@@ -2485,9 +2489,11 @@ body {
top: 0px !important;
left: 0px !important;
width: 100% !important;
margin-bottom: 0px !important;
}
}
#maincontent-refresh {
scroll-margin-top: 60px;
}
@@ -3557,8 +3563,15 @@ table.table-fixed {
}
.help-block {
margin-top: 0px;
margin-bottom: 0px;
}
.radio .help-block {
padding-left: 20px;
}
.checkbox .help-block {
padding-left: 20px;
}
.fa-stack-1x {
top: .25em;
@@ -4233,6 +4246,7 @@ body.app .navbar-fixed-top {
left: 225px;
width: calc(100vw - 225px);
padding-right:0px;
margin-bottom: 0px !important;
}
/* chat */
@@ -4765,6 +4779,17 @@ body.app .navbar-fixed-top {
overflow: hidden;
}
.stickywiki {
max-height: 100px;
overflow: hidden;
line-height: 20px;
word-wrap: break-word;
}
.stickywiki>p {
margin-bottom: 20px;
}
.database-truncate-cell {
position: relative;
line-height: 1.2em;