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

MediaWiki:Common.css (ソースを閲覧)

14 バイト除去、 2024年11月19日 (火)

編集の要約なし

13,002

回編集

@@ 128行目: / 128行目: @@
 	/* mw-highlightクラス内のpreタグの設定 */
 	.mw-highlight > pre {
-		/*color: #f0f0f0 !important;*/
+		color: #f0f0f0 !important;
-		/*background: linear-gradient(to right,*/
+		background: linear-gradient(to right,
-		/*   rgb(10, 10, 10) 0%,*/
+		   rgb(10, 10, 10) 0%,
-		/*   rgb(11, 11, 11) 10%,*/
+		   rgb(11, 11, 11) 10%,
-		/*   rgb(12, 12, 12) 20%,*/
+		   rgb(12, 12, 12) 20%,
-		/*   rgb(13, 13, 13) 30%,*/
+		   rgb(13, 13, 13) 30%,
-		/*   rgb(14, 14, 14) 40%,*/
+		   rgb(14, 14, 14) 40%,
-		/*   rgb(15, 15, 15) 50%,*/
+		   rgb(15, 15, 15) 50%,
-		/*   rgb(16, 16, 16) 60%,*/
+		   rgb(16, 16, 16) 60%,
-		/*   rgb(17, 17, 17) 70%,*/
+		   rgb(17, 17, 17) 70%,
-		/*   rgb(18, 18, 18) 80%,*/
+		   rgb(18, 18, 18) 80%,
-		/*   rgb(19, 19, 19) 90%,*/
+		   rgb(19, 19, 19) 90%,
-		/*   rgb(20, 20, 20) 100%*/
+		   rgb(20, 20, 20) 100%
-		/*) !important;*/
+		) !important;
-		color: black !important;
-		background: linear-gradient(to bottom right, rgb(240, 240, 240), rgb(250, 250, 250)) !important;
      	border: solid 3px rgb(100, 150, 100);
     		border-radius: 5px;
     		font-family: "DejaVu Sans Mono" !important;
+	}
+	.mw-highlight > pre:hover {
+    	color: #202020 !important;
+    	background: linear-gradient(to bottom right, rgb(230, 230, 230), rgb(245, 245, 245)) !important;
 	}