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

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

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

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

@@ 85行目: / 85行目: @@
 		border: solid 1px rgb(150, 150, 250);
 		border-radius: 5px;
-		/*font-family: "DejaVu Sans Mono" !important;*/
+		font-family: "DejaVu Sans Mono" !important;
 	}
@@ 94行目: / 94行目: @@
 		border: solid 3px rgb(100, 150, 100);
 		border-radius: 5px;
-		/*font-family: "DejaVu Sans Mono" !important;*/
+		font-family: "DejaVu Sans Mono" !important;
 	}
@@ 128行目: / 128行目: @@
     		padding: 1px 3px;
     		margin: 5px;
-	}
-	/* 通常のpreタグの設定 */
-	pre {
-		color: #fefefe !important;
-		background-color: rgba(25, 25, 25, 1.0) !important;
-		/*background-color: var(--body-background-color);*/
-		border: solid 1px rgb(150, 150, 250);
-		border-radius: 5px;
-		font-family: "DejaVu Sans Mono" !important;
-	}
-	/* mw-highlightクラス内のpreタグの設定 */
-	.mw-highlight > pre {
-		color: #fefefe !important;
-		background-color: rgba(25, 25, 25, 1.0) !important;
-		border: solid 3px rgb(100, 150, 100);
-		border-radius: 5px;
-		font-family: "DejaVu Sans Mono" !important;
 	}