Skip to content

Instantly share code, notes, and snippets.

@jeremyredhead
Created November 25, 2023 02:25
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jeremyredhead/bd1947186c4755fea1e9db9886153ea9 to your computer and use it in GitHub Desktop.
Save jeremyredhead/bd1947186c4755fea1e9db9886153ea9 to your computer and use it in GitHub Desktop.
Userstyle to make Instant ever so slightly more comfortable/familiar for those used to vanilla euphoria
@-moz-document domain("instant.leet.nu") {
.replies > .message:first-child,
.message + .message {
margin-top: 4px;
}
.message-box > .message,
.message-box > .input-bar {
margin-top: 8px;
}
.message.new:not(.mine):not(.ping):not(.highlight) > .line {
background: rgba(0, 192, 0, 0.4);
animation-duration: 15s;
}
.offscreen-alert.visible.flash {
animation: newmsgflash 4s step-start;
}
@keyframes newmsgflash {
0% { background: transparent; }
12.5% { background: #00c200; }
25% { background: transparent; }
37.5% { background: #00c200; }
50% { background: transparent; }
62.5% { background: #00c200; }
75% { background: transparent; }
87.5% { background: #00c200; }
100% { background: transparent; }
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment