Note: groups.io will be down for maintenance on Wednesday, October 5th, starting at 9AM Pacific Time (4PM Wednesday October 5, 2022 UTC), for approximately one hour.
Re: Editing issues (for consistent typesetting on LibreTexts libraries)
Delmar Larsen <dlarsen@...>
Yes, the html code is not the same as the what the editor uses. I am using the terms for the editor since more people do not edit the html directly.
On 8/10/2019 4:20 PM, thucao@... wrote:
I think there is the conflict between the tool and the html code of making header.
-- Delmar Larsen, Ph.D. LibreText, Founder & Executive Director https://LibreTexts.org The Future is Open Weekly Libretexts Office Hours Zoom meetings (open to all): * Tuesdays (https://zoom.us/j/380504419) at 9:00am (PDT) * Thursdays (https://zoom.us/j/662384088) at 9:00am (PDT)