Browse Source

pushing the proofreading version!

master
manetta 3 years ago
parent
commit
c971cfca9a
  1. 6
      command-line/Makefile
  2. 39
      command-line/css/print.css
  3. 6
      command-line/templates/template.html
  4. 2
      command-line/update.py

6
command-line/Makefile

@ -26,6 +26,12 @@ css:
./venv/bin/etherpump gettext $(STYLESHEET) > ./css/print.css ./venv/bin/etherpump gettext $(STYLESHEET) > ./css/print.css
@echo "Saving CSS: $(STYLESHEET) (pad) --> print.css (file)" @echo "Saving CSS: $(STYLESHEET) (pad) --> print.css (file)"
multi:
# ---
# multistamp Multi Remix on top of the pdf
@pdfunite multi-remix/multi-remix.pdf multi-remix/multi-remix-empty.pdf multi-remix/multi-remix.pdf multi-remix/multi-remix-empty.pdf multi-remix/multi-remix-stamp.pdf
@pdftk Unfolded.pdf multistamp multi-remix/multi-remix-stamp.pdf output Unfolded-with-Multi.pdf
upload: upload:
scp -r Unfolded.html css js fonts varia:public_html/volumetric-regimes/ scp -r Unfolded.html css js fonts varia:public_html/volumetric-regimes/

39
command-line/css/print.css

@ -68,12 +68,10 @@ div.no-indent p{
} }
div.contribution.bugged-report div.no-indent p{ div.contribution.bugged-report div.no-indent p{
width: 100%; width: 100%;
/*width: calc(100% - var(--first-indent));*/
margin-bottom: var(--line-height); margin-bottom: var(--line-height);
} }
div.contribution.bugged-report div.right-align{ div.contribution.bugged-report div.right-align{
text-align: right; text-align: right;
/*margin-left: var(--first-indent);*/
margin-left: 0; margin-left: 0;
margin-bottom: var(--line-height); margin-bottom: var(--line-height);
} }
@ -98,9 +96,8 @@ html, body{
/*size: 164mm 237mm;*/ /* Size of the physical printed DB06 book */ /*size: 164mm 237mm;*/ /* Size of the physical printed DB06 book */
size: 152.4mm 228.6mm; size: 152.4mm 228.6mm;
/* about 3mm in pixels */
/*bleed: 3mm;*/ /* required bleed by lightningsource */ bleed: 12px;
bleed: 12px; /* about 3mm in pixels */
marks: crop; marks: crop;
@bottom-center{ @bottom-center{
@ -315,9 +312,13 @@ div.backcover{
color: white; color: white;
font-weight: bold; font-weight: bold;
} }
div.backcover{ /*div.multi img{
color: white; position: absolute !important;
} top: 13mm !important;
left: -30mm !important;
width: 152.4mm !important;
display: unset;
}*/
div.cover ul{ div.cover ul{
padding: 0; padding: 0;
margin: 2em 0; margin: 2em 0;
@ -330,6 +331,7 @@ div.backcover{
color: black; color: black;
} }
div.backcover{ div.backcover{
color: white;
} }
div.backcover b{ div.backcover b{
margin-left: 0; margin-left: 0;
@ -527,6 +529,10 @@ h3{
color: red; color: red;
margin-top: 0 !important; margin-top: 0 !important;
} }
/* exception for bugged report h3 above notes */
div.contribution.bugged-report ol.references{
margin-top: -18px !important;
}
h4{ h4{
/* Sub-sub-headers */ /* Sub-sub-headers */
font-size: 100%; font-size: 100%;
@ -582,13 +588,10 @@ p{
div.series p{ div.series p{
margin-bottom: var(--line-height); margin-bottom: var(--line-height);
} }
div.contribution.information-for-users h2 + p + p + p > b, div.contribution.information-for-users div.title-wrapper + p + p > b,
div.contribution.ultrasonic-dreams div.title-wrapper + p + p > b{ div.contribution.ultrasonic-dreams div.title-wrapper + p + p > b{
margin-left: -7mm; margin-left: -7mm;
} }
div.title-wrapper + p + p{
margin-left: var(--first-indent);
}
ul{ ul{
margin: 18px 0 !important; margin: 18px 0 !important;
@ -640,7 +643,7 @@ ul > li {
line-height: var(--small-line-height); line-height: var(--small-line-height);
columns: 2 auto; columns: 2 auto;
column-gap: 7mm; column-gap: 7mm;
margin: 0 1em; margin: 0 1em !important;
padding: 0; padding: 0;
orphans: 3; orphans: 3;
} }
@ -756,7 +759,7 @@ img{
margin-top: -10mm; margin-top: -10mm;
margin-left: -22mm !important; margin-left: -22mm !important;
} }
img[src="./images/Strategy_and_Tactics.jpg"]{ div.contribution.beirut-82 div.thumb img[src="./images/Strategy_and_Tactics.jpg"]{
margin-left: -17mm !important; margin-left: -17mm !important;
} }
@ -924,8 +927,6 @@ img{
img[src="./images/Image05.png"] { img[src="./images/Image05.png"] {
margin-top: 21px; margin-top: 21px;
} }
img[src="./images/File_manager_overview.png"]{ img[src="./images/File_manager_overview.png"]{
margin-top: 24px; margin-top: 24px;
margin-bottom: 24px; margin-bottom: 24px;
@ -935,8 +936,6 @@ img{
text-indent: unset !important; text-indent: unset !important;
} }
pre{ pre{
/* <br>'s are sometimes manually added in the text */ /* <br>'s are sometimes manually added in the text */
@ -1009,11 +1008,11 @@ sup{
font-size: 7pt; font-size: 7pt;
padding-left: 0.15mm; padding-left: 0.15mm;
} }
canvas{ /*canvas{
position: absolute; position: absolute;
top: 17mm; top: 17mm;
left: -20mm; left: -20mm;
} }*/
a, a,
a:visited, a:visited,
a:active, a:active,

6
command-line/templates/template.html

@ -6,9 +6,9 @@
<script src="./js/paged.polyfill.js" type="text/javascript"></script> <script src="./js/paged.polyfill.js" type="text/javascript"></script>
<link href="./css/pagedjs.css" rel="stylesheet" type="text/css"> <link href="./css/pagedjs.css" rel="stylesheet" type="text/css">
<link href="./css/print.css" rel="stylesheet" type="text/css" media="print"> <link href="./css/print.css" rel="stylesheet" type="text/css" media="print">
<link href="./css/baseline.css" rel="stylesheet" type="text/css" media="print"> <!-- <link href="./css/baseline.css" rel="stylesheet" type="text/css" media="print"> -->
<script src="./js/p5.js" type="text/javascript"></script> <!-- <script src="./js/p5.js" type="text/javascript"></script> -->
<script src="./js/multi-remix.js" type="text/javascript"></script> <!-- <script src="./js/multi-remix.js" type="text/javascript"></script> -->
</head> </head>
<body> <body>
<div id="wrapper"> <div id="wrapper">

2
command-line/update.py

@ -201,7 +201,7 @@ def tweaking(html):
# print('SET LEN:', len(set(results))) # print('SET LEN:', len(set(results)))
# print('---') # print('---')
# html = html.replace('', '') # html = html.replace('<div class="multi"></div>', f'<div class="multi"><img src="{ PUBLIC_STATIC_FOLDER_PATH }/images/multi-remix.svg"></div>') # add Multi Remix as SVG
# html = html.replace('', '') # html = html.replace('', '')
return html return html

Loading…
Cancel
Save