2020-11-07 13:25:35
— part of check-in
[942b2076c6]
on branch default-css-cleanups
— Rename the "style_body_and_footer()" interface to "style_finish_page()" and
add a more detailed header comment to the implementation.
(user:
drh
size: 25694)
2020-11-07 13:28:42
— part of check-in
[3d6444fc4a]
on branch trunk
— Styling improvements: (1) Change the "style_footer()" interface to
"style_finish_page()" and give it a parameter which is the page type.
(2) Enhance the CSS to make use of the page type.
(user:
drh
size: 25694)
2020-11-17 18:38:28
— part of check-in
[bb159b9e96]
on branch wiki-history
— Merge-in styling improvements from trunk
(user:
george
size: 25694)