Page MenuHomePhabricator
Files F15445520

D12596.id30242.diff
No OneTemporary
Actions

D12596.id30242.diff
View Options

diff --git a/webroot/rsrc/css/core/remarkup.css b/webroot/rsrc/css/core/remarkup.css
--- a/webroot/rsrc/css/core/remarkup.css
+++ b/webroot/rsrc/css/core/remarkup.css
@@ -26,9 +26,15 @@
}
.phabricator-remarkup .remarkup-code-header {
- padding: 4px 1px;
+ padding: 2px 8px;
font-size: 13px;
font-weight: bold;
+ background: {$sh-yellowbackground};
+ display: inline-block;
+}
+
+.phabricator-remarkup .code-block-counterexample .remarkup-code-header {
+ background-color: {$sh-redbackground};
}
.phabricator-remarkup .remarkup-code-block pre {
@@ -42,8 +48,8 @@
}
.phabricator-remarkup pre.remarkup-counterexample {
- border: 1px solid {$red};
- background-color: {$lightred};
+ border: 1px solid {$sh-lightredborder};
+ background-color: {$sh-redbackground};
}
.phabricator-remarkup tt.remarkup-monospaced {
@@ -97,31 +103,31 @@
.phabricator-remarkup h1.remarkup-header {
font-size: 24px;
line-height: 1.625em;
- margin: 16px 0 4px;
+ margin: 24px 0 4px;
}
.phabricator-remarkup h2.remarkup-header {
font-size: 20px;
line-height: 1.5em;
- margin: 16px 0 4px;
+ margin: 20px 0 4px;
}
.phabricator-remarkup h3.remarkup-header {
font-size: 18px;
line-height: 1.375em;
- margin: 16px 0 4px;
+ margin: 20px 0 4px;
}
.phabricator-remarkup h4.remarkup-header {
font-size: 15px;
line-height: 1.25em;
- margin: 8px 0 4px;
+ margin: 12px 0 4px;
}
.phabricator-remarkup h5.remarkup-header {
font-size: 14px;
line-height: 1.125em;
- margin: 4px 0;
+ margin: 8px 0 4px;
}
.phabricator-remarkup h6.remarkup-header {
@@ -503,3 +509,8 @@
.remarkup-nav-sequence-arrow {
color: {$lightgreytext};
}
+
+.phabricator-remarkup hr {
+ background: {$thinblueborder};
+ margin: 24px 0;
+}
diff --git a/webroot/rsrc/css/phui/phui-fontkit.css b/webroot/rsrc/css/phui/phui-fontkit.css
--- a/webroot/rsrc/css/phui/phui-fontkit.css
+++ b/webroot/rsrc/css/phui/phui-fontkit.css
@@ -40,14 +40,14 @@
.phui-font-source-sans .phabricator-remarkup h4.remarkup-header,
.phui-font-source-sans .phabricator-remarkup h5.remarkup-header,
.phui-font-source-sans .phabricator-remarkup h6.remarkup-header {
- color: {$bluetext};
+ color: {$darkbluetext};
font-weight: 600;
}
.phui-font-source-sans .phabricator-remarkup h2.remarkup-header {
padding: 24px 24px 8px 0;
border-bottom: 1px solid {$thinblueborder};
- font-size: 20px;
+ font-size: 22px;
font-weight: 400;
color: {$bluetext};
margin: 0 0 16px;
@@ -87,7 +87,8 @@
}
.phui-font-source-sans a.atom-ref,
-.phui-font-source-sans a.remarkup-link {
+.phui-font-source-sans a.remarkup-link,
+.phui-font-source-sans a.phriction-link {
color: {$blue};
}

File Metadata

Mime Type
text/plain
Expires
Fri, Mar 28, 2:20 PM (4 w, 1 d ago)
Storage Engine
blob
Storage Format
Encrypted (AES-256-CBC)
Storage Handle
7386269
Default Alt Text
D12596.id30242.diff (2 KB)

Event Timeline

Phabricator · Built by Phacility