Skip to content

Instantly share code, notes, and snippets.

@zihotki
Last active April 1, 2025 08:16
Show Gist options
  • Save zihotki/75a99709034eb1c241f17ec4899ba63e to your computer and use it in GitHub Desktop.
Save zihotki/75a99709034eb1c241f17ec4899ba63e to your computer and use it in GitHub Desktop.
VisualStudio compact theme (especially for PR)
@-moz-document domain("vanlanschot.visualstudio.com") {
.bolt-page div.page-content-top {
padding-top: 0px !important;
padding-bottom: 0px !important;
}
.repos-changes-viewer .sticky {
padding: 4px 6px 4px 0;
}
.inline-comment {
margin: 4px;
padding: 2px;
}
.comment-box {
margin: 5px;
padding: 3px;
}
.file-changes {
margin: 6px;
padding: 4px;
}
.code-line {
margin: 3px;
padding: 2px;
}
.pull-request-title {
margin: 8px;
padding: 5px;
}
.pull-request-description {
margin: 7px;
padding: 4px;
}
.file-header {
margin: 6px;
padding: 4px;
}
.diff-line {
margin: 5px;
padding: 3px;
}
.comment-thread {
margin: 9px;
padding: 6px;
}
.bolt-button.bolt-card-expand-button {
margin-left: 6px;
margin-top: 8px;
}
.repos-compare-toolbar {
padding: 0px 4px;
}
.margin-vertical-8 {
margin-bottom: 3px;
margin-top: 3px;
}
.bolt-button {
padding: 2px 3px;
}
.bolt-button.icon-only.subtle {
padding: 3px;
}
.bolt-button.icon-only {
padding: 3px 5px;
}
.bolt-tabbar-tabs.tall .bolt-tab {
height: 2rem;
}
.bolt-header-command-item-button .bolt-button.icon-only {
padding: 2px;
}
#__bolt-fullscreen {
margin-right:14px;
}
.repos-pr-header.bolt-header {
padding-top: 0px;
}
.pr-secondary-title-row .repos-pr-source-branch-clipboard-button {
height: 16px;
}
.region-header,
.region-header-menubar {
min-height: 24px;
}
.margin-bottom-8 {
margin-bottom: 2px;
}
.mectrl_topHeader .mectrl_profilepic {
height: 24px;
width: 24px;
margin: 4px;
}
.mectrl_topHeader {
height: 30px;
}
.region-header .expandable-search-header {
padding: 2px 0;
}
.rhythm-vertical-16>:not(:first-child) {
margin-top: 6px;
}
.repos-changes-viewer.is-folder>:first-child {
margin-top: 4px;
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment