diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
commit | 4ac9fa081a7c045f6a9f1cfc529d82423f485b2e (patch) | |
tree | af68743f2f4a47d13f2b0eb05f5c4aaf86d8ea37 /docs/uidesign/monospace.html | |
parent | af4da56f1ad4d3ef7b06557bae365da2ea27a897 (diff) |
Update to MediaWiki 1.22.0
Diffstat (limited to 'docs/uidesign/monospace.html')
-rw-r--r-- | docs/uidesign/monospace.html | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/docs/uidesign/monospace.html b/docs/uidesign/monospace.html index 84ec13a4..f2b988e2 100644 --- a/docs/uidesign/monospace.html +++ b/docs/uidesign/monospace.html @@ -1,7 +1,7 @@ <!DOCTYPE html> -<html lang="en" dir="ltr" xmlns="http://www.w3.org/1999/xhtml"> +<html lang="en" dir="ltr"> <head> - <style type="text/css"> + <style> pre { border: 1px dashed #AAA; background-color: #E0E0E0; @@ -75,4 +75,3 @@ font-family: monospace, Verdana; font-family: monospace, DOESNOTEXISTREALLY;'> font-family: monospace, DOESNOTEXISTREALLY; </pre> - |