Make mutt.css apply for all media types

diff --git a/doc/mutt.css b/doc/mutt.css
index 025823322aa2bc32895c6ad2c3edc38a0783f7d3..cd432be2a22f8d65c4d7bca5a89ff4e20f8a5962 100644 (file)
--- a/doc/mutt.css
+++ b/doc/mutt.css
@@ -1,21 +1,19 @@
-@media screen {
-  body { margin-left:2%; margin-right:2%; font-family:serif; }
-  .toc, .list-of-tables, .list-of-examples { font-family:sans-serif; }
-  h1, h2, h3, h4, h5, h6 { font-family:sans-serif; }
-  em.replaceable code { font-family:sans-serif; }
-  p { text-align:justify; }
-  div.table p.title, div.example p.title { font-size:smaller; font-family:sans-serif; }
-  .email, .email a { font-family:monospace; }
-  div.table-contents table { border-collapse:collapse; border:1px solid #c0c0c0; }
-  div.table-contents table td, div.table-contents table th { padding:5px; text-align:left; }
-  div.table-contents table th {
+body { margin-left:2%; margin-right:2%; font-family:serif; }
+.toc, .list-of-tables, .list-of-examples { font-family:sans-serif; }
+h1, h2, h3, h4, h5, h6 { font-family:sans-serif; }
+em.replaceable code { font-family:sans-serif; }
+p { text-align:justify; }
+div.table p.title, div.example p.title { font-size:smaller; font-family:sans-serif; }
+.email, .email a { font-family:monospace; }
+div.table-contents table { border-collapse:collapse; border:1px solid #c0c0c0; }
+div.table-contents table td, div.table-contents table th { padding:5px; text-align:left; }
+div.table-contents table th {
     font-family:sans-serif;
     background:#d0d0d0;
     font-weight:normal;
     vertical-align:top;
-  }
-  pre.screen, div.note { background:#f0f0f0; border:1px solid #c0c0c0; padding:5px; }
-  div.note h3 { font-size:small; font-style:italic; font-variant: small-caps; }
-  div.note h3:after { content: ":" }
-  div.note { margin-bottom: 5px; }
 }
+pre.screen, div.note { background:#f0f0f0; border:1px solid #c0c0c0; padding:5px; }
+div.note h3 { font-size:small; font-style:italic; font-variant: small-caps; }
+div.note h3:after { content: ":" }
+div.note { margin-bottom: 5px; }