Jhernandez has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/378899 )

Change subject: New: Add Separator component to Paper
......................................................................

New: Add Separator component to Paper

A sheet of paper can have separate content sides (like a header, and
content part). They should be separated using the Separator component in
paper.

Additional:
* Don't use ComponentProps in paper.tsx

Change-Id: I49ab61d909cbfcd55983ddd81beaa5f31a6c5cb1
---
M src/common/components/paper/paper.css
M src/common/components/paper/paper.tsx
2 files changed, 10 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/marvin refs/changes/99/378899/1

diff --git a/src/common/components/paper/paper.css 
b/src/common/components/paper/paper.css
index ddc7be4..6495ff9 100644
--- a/src/common/components/paper/paper.css
+++ b/src/common/components/paper/paper.css
@@ -8,3 +8,9 @@
   padding: var(--space);
   margin-bottom: var(--space);
 }
+
+.Paper-separator {
+  height: 1px;
+  background-color: var(--wmui-color-base80);
+  margin: var(--space) calc(-1*var(--space));
+}
\ No newline at end of file
diff --git a/src/common/components/paper/paper.tsx 
b/src/common/components/paper/paper.tsx
index daf9249..0e1f2da 100644
--- a/src/common/components/paper/paper.tsx
+++ b/src/common/components/paper/paper.tsx
@@ -5,3 +5,7 @@
 export default function Paper({ children }: ChildrenProps): JSX.Element {
   return <div class="Paper">{children}</div>;
 }
+
+export function Separator() {
+  return <div class="Paper-separator" />;
+}

-- 
To view, visit https://gerrit.wikimedia.org/r/378899
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I49ab61d909cbfcd55983ddd81beaa5f31a6c5cb1
Gerrit-PatchSet: 1
Gerrit-Project: marvin
Gerrit-Branch: master
Gerrit-Owner: Jhernandez <jhernan...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to