Eric S Fraga writes:
Looks good (on both large monitor and on my phone). Thank you!
+1
--
Thomas S. Dye
https://tsdye.online/tsdye
Hi Timothy,
Timothy writes:
> Great! I’ve just taken a peek and it’s a clear improvement in my eyes
> 🙂.
:)
>> Note that, after I made the other changes, the links scattered around
>> the page clashed very badly with the nice “Org green” and black theme,
>> so I adjusted them as well (as detai
Looks good (on both large monitor and on my phone). Thank you!
--
: Eric S Fraga via Emacs 28.0.50, Org 9.5-g9a4a24
: Latest paper written in org: https://arxiv.org/abs/2106.05096
Hi Adam,
> Sure, I’ve just pushed these commits:
Great! I’ve just taken a peek and it’s a clear improvement in my eyes 🙂.
> Note that, after I made the other changes, the links scattered around
> the page clashed very badly with the nice “Org green” and black theme,
> so I adjusted them as well
Hi Adam,
>From the last few messages in this thread, I think we’ve reached agreement on
the changes. Would you like to go ahead?
All the best,
Timothy
Eric S Fraga writes:
On Saturday, 25 Sep 2021 at 19:37, Adam Porter wrote:
This is why I prefer to remove font specifications for
documentation
pages: let the user decide.
+1 on this (and on size specifications). Please keep the
settings as
generic as possible and let me, the viewer, de
On Saturday, 25 Sep 2021 at 19:37, Adam Porter wrote:
> This is why I prefer to remove font specifications for documentation
> pages: let the user decide.
+1 on this (and on size specifications). Please keep the settings as
generic as possible and let me, the viewer, decide actual font and
sizes.
On 26/09/2021 02:51, Timothy wrote:
I’m a big fan of the shift to a fixed em-based max width. However, I’m not quite
sold on a few of the other changes, for instance the font change. While it does
vary, I must say than in particular I find the default serifed font of browsers
somewhat unattracti
Timothy writes:
> I don’t think a completely spartan page is entirely sensible though.
Indeed! I did not want to argue for all or nothing. :)
But font and font size for big chunks of text are quite important and
individual choices. So the rest of the styling should try to be
flexible enough to
Hi Stefan,
Stefan Nobis writes:
> [*snip*]
> Therefore I support Adams wish to honor the configuration of users.
Thanks for chiming in Stefan, I’m coming around to the parts of the view you and
Adam seem to share. I’m now thinking that with the font, font size, and viewport
settings, that it
Adam Porter writes:
> So I think it's very important to respect the user's settings,
> especially for long texts and documentation (i.e. not the "home page"
> parts of Web sites whose purpose is to present projects as a whole).
+1.
HTML pages are neither books nor PDFs nor advertising columns.
Hi Timothy,
Timothy writes:
>> I find it frustrating when I’ve configured my browser to […]
>
> I think this is the source of our differences of opinion. I personally haven’t
> touched my browser’s default CSS, and am not a fan of the default styling, but
> clearly you have changed your browser’
Hi Adam,
A quick note following on from your comments.
> I find it frustrating when I’ve configured my browser to […]
I think this is the source of our differences of opinion. I personally haven’t
touched my browser’s default CSS, and am not a fan of the default styling, but
clearly you have ch
Hi Timothy,
Timothy writes:
> I’m a big fan of the shift to a fixed em-based max width. However, I’m not
> quite
> sold on a few of the other changes, for instance the font change. While it
> does
> vary, I must say than in particular I find the default serifed font of
> browsers
> somewhat u
Bastien writes:
> Hi Adam,
>
> Adam Porter writes:
>
>> If these are agreeable, I can apply them to the Worg repo.
>
> Sure, please go ahead! Thanks,
Hi Bastien,
Thanks. Since Timothy has some thoughts on these changes, I'll wait
until we come to a consensus on them. :)
Hi Adam,
> I’d like to propose some changes to Worg’s CSS that I think make it much
> more readable. Here are some before/after screenshots:
Thanks for proposing these changes to Worg’s CSS. I have a few thoughts on them,
which I will share below.
> The changes are simply removing some rules,
Hi Adam,
Adam Porter writes:
> If these are agreeable, I can apply them to the Worg repo.
Sure, please go ahead! Thanks,
--
Bastien
On Thursday, 23 Sep 2021 at 21:37, Adam Porter wrote:
> The changes are simply removing some rules, which allows the user's
> configured browser font settings to be applied, as well as setting the
> max-width of the content to 60em.
I fully support this. Specifying font sizes is never a good id
18 matches
Mail list logo