πŸ’Ύ Archived View for rawtext.club β€Ί ~sloum β€Ί geminilist β€Ί 001792.gmi captured on 2020-11-07 at 02:28:24. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2020-09-24)

-=-=-=-=-=-=-

<-- back to the mailing list

[ANN] GemiNaut 0.8.4 released

defdefred defdefred at protonmail.com

Fri Jun 19 10:18:23 BST 2020

- - - - - - - - - - - - - - - - - - - 

Good!

A simple dark mode could be usefull too... like terminal but with variable font width.

Thanks!

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐On Friday 19 June 2020 10:27, Luke Emmet <luke at marmaladefoo.com> wrote:

In fact that will be the default in the next release. Pure white on
black is a little harsh.
On 19-Jun-2020 09:24, Luke Emmet wrote:
Hello
At the moment the themes are fixed, but you can edit them. For example
if you want an off-white and off-black in the Terminal theme you can
edit the file Terminal.css in the GmiConverters folder thus:
body {
background-color: #222827;
color: #e0e0e0;
font-family:Consolas,Courier New;
font-size: 1em;
margin-left:3.5em;
margin-right:3.5em;
}
or however you like it. You can change the whole stylesheet if you want.
Best Wishes
- Luke
On 18-Jun-2020 07:28, defdefred wrote:
Could it be possible to duplicate CSS files to automaticaly create a
new Theme?
I like to have the writing more grey than brigth white in the
terminal theme.
Thanks!