Skip to content

Instantly share code, notes, and snippets.

@riidom
Created January 24, 2022 05:48
Show Gist options
  • Save riidom/c07d6f5e9d77cbe01cdc9004e275fd9c to your computer and use it in GitHub Desktop.
Save riidom/c07d6f5e9d77cbe01cdc9004e275fd9c to your computer and use it in GitHub Desktop.
HN settings for stylus extension
body {
width: 120ch;
margin: 0 auto;
}
center table {
padding: 0 2rem;
}
span.pagetop {
display: flex;
padding: .5rem;
gap: .25rem;
}
#pagespace {
height: 3rem !important;
}
.spacer {
height: .75rem !important;
}
.comment-tree {
border-left: 2px solid #fff1;
border-right: 2px solid #fff1;
padding-left: 0;
}
.comment-tree .athing table {
padding-left: 0;
}
/* Color */
td.subtext span.age a,
td.subtext a:last-child,
.comhead a.hnuser {
color: #aa9;
}
/* Font size */
body,
.title {
font-size: 12pt;
}
.comment,
.subtext {
font-size: 10pt;
line-height: 1.4;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment