2023-02-05 02:21:30 +00:00
|
|
|
// Replicates the Stylus app: <https://addons.mozilla.org/en-GB/firefox/addon/styl-us/>
|
|
|
|
|
2023-02-15 02:24:47 +00:00
|
|
|
var styles = null;
|
|
|
|
|
2023-02-05 02:21:30 +00:00
|
|
|
if (document.domain == "forum.effectivealtruism.org"){
|
2023-02-15 02:24:47 +00:00
|
|
|
styles = `
|
2023-02-05 02:21:30 +00:00
|
|
|
.Layout-main {
|
|
|
|
margin-left: 100px;
|
|
|
|
}
|
|
|
|
.SingleColumnSection-root {
|
|
|
|
width: 1000px !important;
|
|
|
|
max-width: 1400px !important;
|
|
|
|
padding-left: 100px !important;
|
|
|
|
}
|
|
|
|
.NavigationStandalone-sidebar {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
.intercom-lightweight-app{
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
`
|
|
|
|
var styleSheet = document.createElement('style')
|
|
|
|
styleSheet.innerText = styles
|
|
|
|
document.head.appendChild(styleSheet)
|
|
|
|
console.log('Style changed')
|
|
|
|
}
|
|
|
|
|
2023-02-11 13:40:15 +00:00
|
|
|
if (document.domain == "mail.proton.me" ){
|
2023-02-15 02:24:47 +00:00
|
|
|
styles = `
|
2023-02-11 13:40:15 +00:00
|
|
|
.item-container-row.read, .item-container.read {
|
|
|
|
background-color: white;
|
|
|
|
}
|
|
|
|
.item-container-row.unread, .item-container.unread {
|
|
|
|
background-color: #E8E8E8;
|
|
|
|
}
|
|
|
|
.selection .item-container-row.item-is-selected, .item-container.item-is-selected {
|
|
|
|
background-color: var(--selection-background-color) !important;
|
|
|
|
}
|
|
|
|
`
|
2023-02-15 02:24:47 +00:00
|
|
|
}
|
2023-04-21 23:08:55 +00:00
|
|
|
if (document.domain == "forum.nunosempere.com" ){
|
|
|
|
styles = `
|
|
|
|
body {
|
|
|
|
zoom: 0.625 !important;
|
|
|
|
}
|
|
|
|
`
|
|
|
|
}
|
2023-04-29 22:33:09 +00:00
|
|
|
if (document.domain == "search.nunosempere.com" ){
|
|
|
|
styles = `
|
|
|
|
footer {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
`
|
|
|
|
}
|
2023-02-15 02:24:47 +00:00
|
|
|
if(styles != null){
|
2023-02-11 13:40:15 +00:00
|
|
|
var styleSheet = document.createElement('style')
|
|
|
|
styleSheet.innerText = styles
|
|
|
|
document.head.appendChild(styleSheet)
|
|
|
|
console.log('Style changed')
|
|
|
|
}
|
|
|
|
|
2023-02-05 02:21:30 +00:00
|
|
|
document.body.style.visibility = "visible"
|