On Wed, Mar 30, 2022 at 12:38 PM tbp1...@gmail.com
wrote:
> Git hub seems to have added them to the current outstanding PR. I
> couldn't see a way to create a new one just for these new themes.
>
I have just merged all your PR's into devel, which now contains the entire
6.6.1 code base.
Edward
Git hub seems to have added them to the current outstanding PR. I couldn't
see a way to create a new one just for these new themes.
On Wednesday, March 30, 2022 at 10:30:29 AM UTC-4 Edward K. Ream wrote:
> On Tue, Mar 29, 2022 at 11:03 AM tbp1...@gmail.com
> wrote:
>
>>
>> I came to realize t
On Tue, Mar 29, 2022 at 11:03 AM tbp1...@gmail.com
wrote:
>
> I came to realize that there should be an overall css selector that
> applied the basics to all elements.
>
Excellent. Please create a PR.
Edward
--
You received this message because you are subscribed to the Google Groups
"leo-e
When I put Leo on a small tablet recently, I had a hard time adjusting the
theme to give a workable appearance. Whenever I made a change, say to the
font size for some UI element, some other part of the screen would not have
been changed, or edges of an element would be cut off, or other proble
