「MediaWiki:Common.css」の版間の差分

📢 Webサイト閉鎖と移転のお知らせ

このWebサイトは2026年9月に閉鎖いたします。

新しい記事は移転先で追加しております。（旧サイトでは記事を追加しておりません）

@@ 2行目: / 2行目: @@
 .mw-editfont-monospace {
-	font-size: 14px;
+	font-size: 15px;
 	/*font-family: 'Noto Sans JP', sans-serif !important;*/
 	font-family: monospace !important;
@@ 52行目: / 52行目: @@
      font-size: 150%;
      font-style: italic;
+}
+/* Text Editor */
+.wikiEditor-ui-text textarea#wpTextbox1 {
+	font-size: 110% !important;
+    font-family: "Droid Sans Mono", monospace !important;
 }
@@ 117行目: / 123行目: @@
 	font-weight: bold;
 	font-family: "DejaVu Sans Mono" !important;
-	border: solid 1px rgba(50, 50, 50, 0.3);
+	border: solid 1px rgb(50, 50, 50);
 	border-radius: 5px;
 	margin: 2px 3px;   /* 外側の余白 : 上下2px, 左右3px */