[MediaWiki-commits] [Gerrit] mediawiki/core[master]: docs/uidesign/monospace.html: Add textareas to the demo
jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/381157 )
Change subject: docs/uidesign/monospace.html: Add textareas to the demo
..
docs/uidesign/monospace.html: Add textareas to the demo
It seems that textareas have their own font-size set in Chrome (but not
Firefox and other browsers), making them unaffected by this behavior.
Change-Id: I811245ea26b4d90ad252fe8f6d2e096e27cb9073
---
M docs/uidesign/monospace.html
1 file changed, 104 insertions(+), 2 deletions(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
Objections:
VolkerE: There's a problem with this change, please improve
diff --git a/docs/uidesign/monospace.html b/docs/uidesign/monospace.html
index f2b988e2..cdaf580 100644
--- a/docs/uidesign/monospace.html
+++ b/docs/uidesign/monospace.html
@@ -2,15 +2,24 @@
- pre {
+ pre,
+ textarea {
border: 1px dashed #AAA;
background-color: #E0E0E0;
color: #00;
- margin: 1em 10%;
padding: 0.5em;
+ height: 1em;
+ width: 90%;
}
blockquote {
font-style: italic;
+ }
+ table {
+ width: 100%;
+ table-layout: fixed;
+ }
+ td {
+ padding: 0.5em;
}
@@ -33,45 +42,138 @@
monospace and use 0.8 x 16px = 13px instead.
+Additionally, it seems that textareas have their own font-size set in Chrome
+(but not Firefox and other browsers), making them unaffected by this behavior.
+
+
Below are various rendering:
+
+
+
+pre
+textarea
+
+
+
+
font-family: monospace;
+
+
+
+font-family: monospace;
+
+
+
+
+
font-family: "Courier New";
+
+
+
+font-family: "Courier New";
+
+
+
+
+
font-family: Courier;
+
+
+
+font-family: Courier;
+
+
+
+
+
font-family: monospace, monospace;
+
+
+
+font-family: monospace, monospace;
+
+
+
+
+
font-family: monospace, "Courier New";
+
+
+
+font-family: monospace, "Courier New";
+
+
+
+
+
font-family: monospace, Courier;
+
+
+
+font-family: monospace, Courier;
+
+
+
+
+
font-family: monospace, Verdana;
+
+
+
+font-family: monospace, Verdana;
+
+
+
+
+
font-family: monospace, DOESNOTEXISTREALLY;
+
+
+
+font-family: monospace, DOESNOTEXISTREALLY;
+
+
+
+
+
--
To view, visit https://gerrit.wikimedia.org/r/381157
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I811245ea26b4d90ad252fe8f6d2e096e27cb9073
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński
Gerrit-Reviewer: Bartosz Dziewoński
Gerrit-Reviewer: Krinkle
Gerrit-Reviewer: VolkerE
Gerrit-Reviewer: jenkins-bot <>
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki/core[master]: docs/uidesign/monospace.html: Add textareas to the demo
Bartosz Dziewoński has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/381157 )
Change subject: docs/uidesign/monospace.html: Add textareas to the demo
..
docs/uidesign/monospace.html: Add textareas to the demo
It seems that textareas have their own font-size set in Chrome (but not
Firefox and other browsers), making them unaffected by this behavior.
Change-Id: I811245ea26b4d90ad252fe8f6d2e096e27cb9073
---
M docs/uidesign/monospace.html
1 file changed, 104 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/57/381157/1
diff --git a/docs/uidesign/monospace.html b/docs/uidesign/monospace.html
index f2b988e2..cdaf580 100644
--- a/docs/uidesign/monospace.html
+++ b/docs/uidesign/monospace.html
@@ -2,15 +2,24 @@
- pre {
+ pre,
+ textarea {
border: 1px dashed #AAA;
background-color: #E0E0E0;
color: #00;
- margin: 1em 10%;
padding: 0.5em;
+ height: 1em;
+ width: 90%;
}
blockquote {
font-style: italic;
+ }
+ table {
+ width: 100%;
+ table-layout: fixed;
+ }
+ td {
+ padding: 0.5em;
}
@@ -33,45 +42,138 @@
monospace and use 0.8 x 16px = 13px instead.
+Additionally, it seems that textareas have their own font-size set in Chrome
+(but not Firefox and other browsers), making them unaffected by this behavior.
+
+
Below are various rendering:
+
+
+
+pre
+textarea
+
+
+
+
font-family: monospace;
+
+
+
+font-family: monospace;
+
+
+
+
+
font-family: "Courier New";
+
+
+
+font-family: "Courier New";
+
+
+
+
+
font-family: Courier;
+
+
+
+font-family: Courier;
+
+
+
+
+
font-family: monospace, monospace;
+
+
+
+font-family: monospace, monospace;
+
+
+
+
+
font-family: monospace, "Courier New";
+
+
+
+font-family: monospace, "Courier New";
+
+
+
+
+
font-family: monospace, Courier;
+
+
+
+font-family: monospace, Courier;
+
+
+
+
+
font-family: monospace, Verdana;
+
+
+
+font-family: monospace, Verdana;
+
+
+
+
+
font-family: monospace, DOESNOTEXISTREALLY;
+
+
+
+font-family: monospace, DOESNOTEXISTREALLY;
+
+
+
+
+
--
To view, visit https://gerrit.wikimedia.org/r/381157
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I811245ea26b4d90ad252fe8f6d2e096e27cb9073
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński
___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
