« MediaWiki:Common.css » : différence entre les versions

← Modification précédente Modification suivante →

@@ Ligne 293 : / Ligne 293 : @@
 pre {
-     font-family: 'Consolas', 'DejaVu Sans', 'Lucida Console', monospace;
+     font-family: monospace,Courier;
-     border: 1px solid #a7d7f9;
+     border: 1px dashed #2f6fab;
      border-left: 0;
      border-right: 0;