|
|
@ -5422,6 +5422,9 @@ write_html_head(FILE *out, /* I - Output file */ |
|
|
|
"}\n" |
|
|
|
"}\n" |
|
|
|
".variable {\n" |
|
|
|
".variable {\n" |
|
|
|
"}\n" |
|
|
|
"}\n" |
|
|
|
|
|
|
|
"h1, h2, h3, h4, h5, h6 {\n" |
|
|
|
|
|
|
|
" page-break-inside: avoid;\n" |
|
|
|
|
|
|
|
"}\n" |
|
|
|
"blockquote {\n" |
|
|
|
"blockquote {\n" |
|
|
|
" border: solid thin gray;\n" |
|
|
|
" border: solid thin gray;\n" |
|
|
|
" box-shadow: 3px 3px 5px rgba(0,0,0,0.5);\n" |
|
|
|
" box-shadow: 3px 3px 5px rgba(0,0,0,0.5);\n" |
|
|
|