make it printer friendly (#21218)

This commit is contained in:
Bung 2023-01-04 12:10:44 -08:00 • committed by GitHub
commit b2328b44ba
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 18 additions and 0 deletions

View file

@ -147,6 +147,15 @@ body {
box-sizing: border-box;
margin-left: 1%; }
@media print {
#global-links, .link-seesrc, .theme-switch-wrapper, #searchInputDiv, .search-groupby {
display:none;
}
.columns {
width:100% !important;
}
}
.column:first-child, .columns:first-child {
margin-left: 0; }