diff options
Diffstat (limited to 'org/output_xmls.org')
| -rw-r--r-- | org/output_xmls.org | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/org/output_xmls.org b/org/output_xmls.org index a89cc88..1333969 100644 --- a/org/output_xmls.org +++ b/org/output_xmls.org @@ -329,7 +329,9 @@ auto html_head(Dm)( : ", " ~ doc_matters.dochead_meta["creator"]["author"], header_metadata(doc_matters), ((type == "seg") ? "../../../" : "../../") ~ "image/rb7.ico", - ((type == "seg") ? "../../../" : "../../") ~ "css/html.css", + ((type == "seg") + ? "../../../css/html_seg.css" + : "../../css/html_scroll.css"), doc_matters.language, site_info_button(doc_matters), inline_search_form(doc_matters), @@ -1777,8 +1779,10 @@ void css(M)( if (!exists(pth_html.css)) { (pth_html.css).mkdirRecurse; } - auto f = File(pth_html.fn_css, "w"); - f.writeln(css.html_css); + auto f = File(pth_html.fn_seg_css, "w"); + f.writeln(css.html_seg_css); + f = File(pth_html.fn_scroll_css, "w"); + f.writeln(css.html_scroll_css); } catch (ErrnoException ex) { // Handle error |