Mercurial > mplayer.hg
diff DOCS/xml/default.css @ 30990:0ad2da052b2e
the great MPlayer tab removal: part I
author | diego |
---|---|
date | Mon, 12 Apr 2010 10:56:17 +0000 |
parents | 461f71ba8af4 |
children |
line wrap: on
line diff
--- a/DOCS/xml/default.css Mon Apr 12 08:03:39 2010 +0000 +++ b/DOCS/xml/default.css Mon Apr 12 10:56:17 2010 +0000 @@ -1,44 +1,44 @@ body { - color: black; - background: white; + color: black; + background: white; - font-family: Arial, Helvetica, sans-serif; + font-family: Arial, Helvetica, sans-serif; /* * It's a Bad Idea(tm) to use fixed font sizes. * Uncomment it if you _really_ want */ - font-size: 14px; + font-size: 14px; } div.table table, div.informaltable table { - background: #333366; - border-collapse: separate; - border: solid 1px #333366; - border-spacing: 1px; + background: #333366; + border-collapse: separate; + border: solid 1px #333366; + border-spacing: 1px; } div.table th, div.informaltable th { - color: white; - background: #4488cc; - border: 0px; - padding: 2px; + color: white; + background: #4488cc; + border: 0px; + padding: 2px; } div.table td, div.informaltable td { - background: #fffff8; - border: 0px; - padding: 2px; + background: #fffff8; + border: 0px; + padding: 2px; } pre.screen { - padding: 4px; - background: #e0e0e0; + padding: 4px; + background: #e0e0e0; } pre.programlisting { - padding: 4px; - background: #e0e8f0; + padding: 4px; + background: #e0e8f0; } /* @@ -47,37 +47,37 @@ */ span.keycap { - background: #ddd; - border: solid 1px #aaa; - white-space: nowrap; - font-family: Arial, Helvetica, sans-serif; + background: #ddd; + border: solid 1px #aaa; + white-space: nowrap; + font-family: Arial, Helvetica, sans-serif; } span.guimenu, span.guisubmenu, span.guimenuitem { - background: #dddddd; + background: #dddddd; } tt.filename { - color: maroon; - white-space: nowrap; + color: maroon; + white-space: nowrap; } tt.option { - color: #066; - white-space: nowrap; + color: #066; + white-space: nowrap; } div.example { - padding-left: 0.5em; - border-left: solid 2px black; + padding-left: 0.5em; + border-left: solid 2px black; } div.important .title, div.caution .title, div.warning .title { - color: #c00; + color: #c00; } /* div.important, div.warning, div.caution { - padding-left: 0.5em; - border-left: solid 2px maroon; + padding-left: 0.5em; + border-left: solid 2px maroon; } */