Browse Source

backup of print.css

master
manetta 2 years ago
parent
commit
2fbaed108b
  1. 42
      command-line/css/print.css

42
command-line/css/print.css

@ -468,25 +468,32 @@ h1{
}
h2{
/* Contribution titles */
position: absolute;
string-set: contributiontitle content(text) !important;
font-family: "bitter_semi";
font-size: var(--h2-font-size);
line-height: var(--h2-line-height);
letter-spacing: 0.025em;
margin: -97px 0 var(--h2-font-size) var(--second-indent);
margin: 0 0 0.2em 0;
hyphens: none;
}
/* title wrapper, to take these out of the baseline */
div.title-wrapper{
position: absolute;
margin: -97px 0 var(--h2-font-size) var(--second-indent);
}
/* author names */
div.preface h2,
div.introduction h2,
div.contribution h2{
margin-bottom: 0.5em !important;
margin-bottom: 0.2em !important;
}
div.preface h2 + p,
div.introduction h2 + p,
div.contribution h2 + p{
margin-left: var(--second-indent);
margin-left: 0 !important;
text-indent: unset !important;
font-weight: normal;
}
div.preface h2 + p > b,
@ -634,6 +641,7 @@ ul > li {
margin-bottom: unset !important;
}
div.contribution.so-called-plants ol.references,
div.contribution.invasive-imagination ol.references,
div.contribution.interview-phil ol.references{
page-break-after: always;
}
@ -651,7 +659,7 @@ img{
width: 105mm; /* full text width */
height: auto;
max-height: 200mm;
margin: var(--line-height) 0;
margin: var(--line-height) 0 12px 0;
/* PRINT PDF - GRAYSCALE */
/*filter: grayscale(100%);*/
@ -738,14 +746,22 @@ img{
img[alt="Strategy and Tactics.jpg"]{
margin-left: -18mm !important;
}
div.enlarged-image img[alt="Spiralling outburst"]{
max-width: 130mm !important;
height: auto !important;
max-height: unset !important;
}
div.enlarged-image img[src="./images/Spiralling_outburst.png"]{
margin-left: -25mm;
}
/* BASELINE FINAL TWEAKS */
img[src="./images/File_manager_overview.png"]{
margin-top: 24px;
margin-bottom: 24px;
}
img[src="./images/Fol_thefragilityoflife-2.jpeg"]{
margin-top: 18px;
margin-bottom: 0;
}
.contribution.so-called-plants div.floatnone + p{
margin-left: var(--second-indent) !important;
text-indent: unset !important;
}
pre{
/* <br>'s are sometimes manually added in the text */

Loading…
Cancel
Save