search

classilla / overbitenx

Because Firefox isn't complete without Gopherspace.
gopher://gopher.floodgap.com/
Other
65 stars 4 forks source link

[Enhancement] Custom styling? #10

Open Jan69 opened 5 years ago

Jan69 commented 5 years ago

For example I'd find it nice to have default styling be along the lines of

/* light-gray background to not burn eyes out */ 
body {font-family: monospace;background:#ddd;}    
/*center phlog text, but don't change text alignment*/    
pre#pre {width: min-content;margin:auto}

(personally would use a bit more styling, but that'd be what I'd expect the default to be) I know I can unpack the extention, change the styling, and repack (or change and then create it), but that's a bit of a hassle, and has to be done after every update (don't think can auto-update that repacked extention either),

I would think that adding either a textbox to paste styling into on the extention settings page, or having the native part read a css file and return that as well, wouldn't be terribly difficult?

classilla commented 5 years ago

I'm not likely to change the default styling at this point.

However, I'm not opposed to a feature to allow people to set a stylesheet of their own. It's not something I'm planning to work on imminently, though, but I'll consider a PR if this is a big deal to you.