2020-07-09-Userstyle-for-portal-mozz-us

I use

portal.mozz.us

at work to access geminispace. I like it because it's simple, but it's a little ugly in my opinion. I *need* text to be limited to 70ch, a la

"58 bytes of CSS to look great nearly everywhere"

-- in fact, I style most of my pages now starting off this idea.

So I wrote a little userstyle for portal.mozz.us. I was going to post it on userstyles.org, but you need an account and I'm not about to make one there. So here's the userstyle, exported from Stylus in the Mozilla Format, for whatever you want to do. The license is ...

WTFPL, why not?

@-moz-document domain("portal.mozz.us") {
.body {
    font: 18px/1.4 serif;
    max-width: 70ch;
    padding: 2ch;
}

.gemini > pre {
    font: 14px/1 monospace;
    padding: 1ch;
    background-color: #eee;
    width: max-content;
    overflow-x: visible;
}

.gemini a {
    text-decoration: none;
    color: inherit;
    background: #eef;
    padding: 0 2ch;
}

.gemini a::before {
    content: "\21d2 ";
    position: relative;
    left: -2ch;
}

.gemini a:hover {
    color: blue;
}

.gemini a[href^="http"]::before {
    content: "\21dd ";
}

.gemini a[href^="gopher"]::before {
    content: "\21ac";
}

.response-table {
    position: absolute;
    top: 0;
    right: 0;
    background: white;
}
}

CHANGELOG

2020-07-10: move .response-table from top right to below .link-line, for really long statuses.

2020-07-13: change link styling

2020-07-16: fix pre font size

2020-07-21: change arrows for http and gopher links

2020-10-12: update for portal.mozz.us style update

~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~

History

Raw

HTML

-- Response ended

-- Page fetched on Thu May 2 17:49:50 2024