Более компактный CSS

diff --git a/Makefile b/Makefile
index bcdfe9e6783b6c739e10a3053345794bcfece33c..92ae85e9644513bb93fe22996fd16ede9b36f0f5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,10 @@
+CSS != cat style.css
+
 html:
        makeinfo --html \
-               --css-include=style.css \
+               --set-customization-variable CSS_LINES='$(CSS)' \
                --set-customization-variable SHOW_TITLE=0 \
+               --set-customization-variable USE_ACCESSKEY=0 \
                --set-customization-variable DATE_IN_HEADER=1 \
                --set-customization-variable TOP_NODE_UP_URL=index.html \
                -o cryptoparty.html index.texi

diff --git a/style.css b/style.css
index 19806bed6822e719055ffc91189696efb09bdfe7..dc94af994247750d9bd208a37707c59ec75fda20 100644 (file)
--- a/style.css
+++ b/style.css
@@ -1,17 +1,10 @@
+<style type="text/css"><!--
 body {
     margin: auto;
     max-width: 800px;
     background-color: #AEBECE;
 }
-
-h1, h2, h3, h4 {
-    text-align: center;
-}
-
-h1, h2, h3, h4, strong {
-    color: #900090;
-}
-
-pre {
-    background-color: #CCCCCC;
-}
+h1, h2, h3, h4 { text-align: center }
+h1, h2, h3, h4, strong { color: #900090 }
+pre { background-color: #CCCCCC }
+--></style>