^Ms are evil.

1 files changed, 337 insertions, 337 deletions

diff --git a/vimperator/locale/en-US/xhtml11.css b/vimperator/locale/en-US/xhtml11.css
index fc2fcbca..e554ac29 100644
--- a/vimperator/locale/en-US/xhtml11.css
+++ b/vimperator/locale/en-US/xhtml11.css
@@ -1,337 +1,337 @@
-/* keep the mozdev header */

-/* @import url(http://www.mozdev.org/skin/color/mozdev2k.css); */

-

-/*

-  CSS stylesheet for XHTML produced by DocBook XSL stylesheets.

-  Tested with XSL stylesheets 1.61.2, 1.67.2

-*/

-

-span.strong {

-  font-weight: bold;

-}

-

-a {

-	color: #4A708B;

-	text-decoration: none;

-}

-

-body blockquote {

-  margin-top: .75em;

-  line-height: 1.5;

-  margin-bottom: .75em;

-}

-

-html body {

-  /*margin: 1em 5% 1em 5%;*/

-  margin: auto;

-  padding-left: 25px;

-  padding-right: 25px;

-  line-height: 1.2;

-  font-family: -moz-fixed;

-  max-width: 800px;

-}

-

-body div {

-  margin: 0;

-}

-

-h1, h2, h3, h4, h5, h6,

-div.toc p b,

-div.list-of-figures p b,

-div.list-of-tables p b,

-div.abstract p.title

-{

-  color: #527bbd;

-}

-

-div.toc p:first-child,

-div.list-of-figures p:first-child,

-div.list-of-tables p:first-child,

-div.example p.title

-{

-  margin-bottom: 0.1em;

-}

-

-body h1 {

-  margin: .0em 0 0 -4%;

-  line-height: 1.3;

-  border-bottom: 1px solid silver;

-}

-

-body h2 {

-  /* necessary, because we put h2 into tables */

-  margin-top: 20px !important;

-  margin-bottom: 0px !important;

-  line-height: 1.3;

-  /*border-bottom: 1px solid silver;*/

-}

-

-body h3 {

-  margin: .8em 0 0 -3%;

-  line-height: 1.3;

-}

-

-body h4 {

-  margin: .8em 0 0 -3%;

-  line-height: 1.3;

-}

-

-body h5 {

-  margin: .8em 0 0 -2%;

-  line-height: 1.3;

-}

-

-body h6 {

-  margin: .8em 0 0 -1%;

-  line-height: 1.3;

-}

-

-body hr {

-  border: none; /* Broken on IE6 */

-}

-div.footnotes hr {

-  border: 1px solid silver;

-}

-

-div.navheader th, div.navheader td, div.navfooter td {

-  font-size: 0.9em;

-  font-weight: bold;

-  color: #527bbd;

-}

-div.navheader img, div.navfooter img {

-  border-style: none;

-}

-div.navheader a, div.navfooter a {

-  font-weight: normal;

-}

-div.navfooter hr {

-  border: 1px solid silver;

-}

-

-body td {

-  line-height: 1.2

-}

-

-body th {

-  line-height: 1.2;

-}

-

-ol {

-  line-height: 1.2;

-}

-

-ul, body dir, body menu {

-  line-height: 1.2;

-}

-

-html {

-  margin: 0; 

-  padding: 0;

-}

-

-body h1, body h2, body h3, body h4, body h5, body h6 {

-  margin-left: 0

-} 

-

-body pre {

-  margin: 0.5em 10% 0.5em 1em;

-  line-height: 1.2;

-  color: navy;

-}

-

-tt.literal, code.literal {

-  color: navy;

-}

-

-

-.programlisting, .screen, .listingblock {

-  border: 1px solid silver;

-  background: #f4f4f4;

-  margin: 0.5em 10% 0.5em 0;

-  padding: 0.5em 1em;

-}

-

-div.sidebar {

-  background: #ffffee;

-  margin: 1.0em 10% 0.5em 0;

-  padding: 0.5em 1em;

-  border: 1px solid silver;

-}

-div.sidebar * { padding: 0; }

-div.sidebar div { margin: 0; }

-div.sidebar p.title {

-  margin-top: 0.5em;

-  margin-bottom: 0.2em;

-}

-

-div.bibliomixed {

-  margin: 0.5em 5% 0.5em 1em;

-}

-

-#footer {

-	margin: 15px;

-	text-align: center;

-	color: gray;

-}

-

-div.glossary dt {

-  font-weight: bold;

-}

-div.glossary dd p {

-  margin-top: 0.2em;

-}

-

-dl {

-  margin: .8em 0;

-  line-height: 1.2;

-}

-

-dt {

-  margin-top: 0.5em;

-}

-

-dt span.term {

-  font-style: italic;

-}

-

-div.variablelist dd p {

-  margin-top: 0;

-}

-

-div.itemizedlist li, div.orderedlist li {

-  margin-left: -0.8em;

-  margin-top: 0.5em;

-}

-

-ul, ol {

-    list-style-position: outside;

-}

-

-div.sidebar ul, div.sidebar ol {

-    margin-left: 2.8em;

-}

-

-div.itemizedlist p.title,

-div.orderedlist p.title,

-div.variablelist p.title

-{

-  margin-bottom: -0.8em;

-}

-

-div.revhistory table {

-  border-collapse: collapse;

-  border: none;

-}

-div.revhistory th {

-  border: none;

-  color: #527bbd;

-}

-div.revhistory td {

-  border: 1px solid silver;

-}

-

-/* Keep TOC and index lines close together. */

-div.toc dl, div.toc dt,

-div.list-of-figures dl, div.list-of-figures dt,

-div.list-of-tables dl, div.list-of-tables dt,

-div.indexdiv dl, div.indexdiv dt

-{

-  line-height: normal;

-  margin-top: 0;

-  margin-bottom: 0;

-}

-

-/*

-  Table styling does not work because of overriding attributes in

-  generated HTML.

-*/

-div.table table,

-div.informaltable table

-{

-    margin-left: 0;

-    margin-right: 5%;

-    margin-bottom: 0.8em;

-}

-div.informaltable table

-{

-    margin-top: 0.4em

-}

-div.table thead,

-div.table tfoot,

-div.table tbody,

-div.informaltable thead,

-div.informaltable tfoot,

-div.informaltable tbody

-{

-    /* No effect in IE6. */

-    border-top: 2px solid #527bbd;

-    border-bottom: 2px solid #527bbd;

-}

-div.table thead, div.table tfoot,

-div.informaltable thead, div.informaltable tfoot

-{

-    font-weight: bold;

-}

-

-div.mediaobject img {

-    border: 1px solid silver;

-    margin-bottom: 0.8em;

-}

-div.figure p.title,

-div.table p.title

-{

-  margin-top: 1em;

-  margin-bottom: 0.4em;

-}

-

-@media print {

-  div.navheader, div.navfooter { display: none; }

-}

-

-/* my additions */

-span.tag, span.hiddentag {

-    font-weight: bold;

-    color: rgb(255, 0, 255); /* magenta */

-    padding-left: 15px;

-    float: right;

-}

-/* inside a table cell means this tag is part of a section */

-td span.tag {

-	padding-top: 25px !important;

-}

-

-div.key {

-    color: rgb(255, 0, 255); /* magenta */

-    min-width: 120px; /* with 20px padding actually 140px */

-	/*padding-bottom: 5px;*/

-	padding-right: 20px;

-    float: left;

-}

-span.warning {

-  font-weight: bold;

-  color: red;

-}

-fieldset.paypal {

-    border: none;

-}

-

-.argument {

-    color: #6A97D4;

-}

-.command {

-    font-weight: bold;

-    color: #632610;

-    white-space: nowrap;

-}

-.mapping {

-    font-weight: bold;

-    color: #102663;

-}

-.option {

-    font-weight: bold;

-    color: #106326;

-}

-.quoteblock {

-	margin-left: 140px;

-	padding-bottom: 10px;

-}

+/* keep the mozdev header */
+/* @import url(http://www.mozdev.org/skin/color/mozdev2k.css); */
+
+/*
+  CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
+  Tested with XSL stylesheets 1.61.2, 1.67.2
+*/
+
+span.strong {
+  font-weight: bold;
+}
+
+a {
+	color: #4A708B;
+	text-decoration: none;
+}
+
+body blockquote {
+  margin-top: .75em;
+  line-height: 1.5;
+  margin-bottom: .75em;
+}
+
+html body {
+  /*margin: 1em 5% 1em 5%;*/
+  margin: auto;
+  padding-left: 25px;
+  padding-right: 25px;
+  line-height: 1.2;
+  font-family: -moz-fixed;
+  max-width: 800px;
+}
+
+body div {
+  margin: 0;
+}
+
+h1, h2, h3, h4, h5, h6,
+div.toc p b,
+div.list-of-figures p b,
+div.list-of-tables p b,
+div.abstract p.title
+{
+  color: #527bbd;
+}
+
+div.toc p:first-child,
+div.list-of-figures p:first-child,
+div.list-of-tables p:first-child,
+div.example p.title
+{
+  margin-bottom: 0.1em;
+}
+
+body h1 {
+  margin: .0em 0 0 -4%;
+  line-height: 1.3;
+  border-bottom: 1px solid silver;
+}
+
+body h2 {
+  /* necessary, because we put h2 into tables */
+  margin-top: 20px !important;
+  margin-bottom: 0px !important;
+  line-height: 1.3;
+  /*border-bottom: 1px solid silver;*/
+}
+
+body h3 {
+  margin: .8em 0 0 -3%;
+  line-height: 1.3;
+}
+
+body h4 {
+  margin: .8em 0 0 -3%;
+  line-height: 1.3;
+}
+
+body h5 {
+  margin: .8em 0 0 -2%;
+  line-height: 1.3;
+}
+
+body h6 {
+  margin: .8em 0 0 -1%;
+  line-height: 1.3;
+}
+
+body hr {
+  border: none; /* Broken on IE6 */
+}
+div.footnotes hr {
+  border: 1px solid silver;
+}
+
+div.navheader th, div.navheader td, div.navfooter td {
+  font-size: 0.9em;
+  font-weight: bold;
+  color: #527bbd;
+}
+div.navheader img, div.navfooter img {
+  border-style: none;
+}
+div.navheader a, div.navfooter a {
+  font-weight: normal;
+}
+div.navfooter hr {
+  border: 1px solid silver;
+}
+
+body td {
+  line-height: 1.2
+}
+
+body th {
+  line-height: 1.2;
+}
+
+ol {
+  line-height: 1.2;
+}
+
+ul, body dir, body menu {
+  line-height: 1.2;
+}
+
+html {
+  margin: 0; 
+  padding: 0;
+}
+
+body h1, body h2, body h3, body h4, body h5, body h6 {
+  margin-left: 0
+} 
+
+body pre {
+  margin: 0.5em 10% 0.5em 1em;
+  line-height: 1.2;
+  color: navy;
+}
+
+tt.literal, code.literal {
+  color: navy;
+}
+
+
+.programlisting, .screen, .listingblock {
+  border: 1px solid silver;
+  background: #f4f4f4;
+  margin: 0.5em 10% 0.5em 0;
+  padding: 0.5em 1em;
+}
+
+div.sidebar {
+  background: #ffffee;
+  margin: 1.0em 10% 0.5em 0;
+  padding: 0.5em 1em;
+  border: 1px solid silver;
+}
+div.sidebar * { padding: 0; }
+div.sidebar div { margin: 0; }
+div.sidebar p.title {
+  margin-top: 0.5em;
+  margin-bottom: 0.2em;
+}
+
+div.bibliomixed {
+  margin: 0.5em 5% 0.5em 1em;
+}
+
+#footer {
+	margin: 15px;
+	text-align: center;
+	color: gray;
+}
+
+div.glossary dt {
+  font-weight: bold;
+}
+div.glossary dd p {
+  margin-top: 0.2em;
+}
+
+dl {
+  margin: .8em 0;
+  line-height: 1.2;
+}
+
+dt {
+  margin-top: 0.5em;
+}
+
+dt span.term {
+  font-style: italic;
+}
+
+div.variablelist dd p {
+  margin-top: 0;
+}
+
+div.itemizedlist li, div.orderedlist li {
+  margin-left: -0.8em;
+  margin-top: 0.5em;
+}
+
+ul, ol {
+    list-style-position: outside;
+}
+
+div.sidebar ul, div.sidebar ol {
+    margin-left: 2.8em;
+}
+
+div.itemizedlist p.title,
+div.orderedlist p.title,
+div.variablelist p.title
+{
+  margin-bottom: -0.8em;
+}
+
+div.revhistory table {
+  border-collapse: collapse;
+  border: none;
+}
+div.revhistory th {
+  border: none;
+  color: #527bbd;
+}
+div.revhistory td {
+  border: 1px solid silver;
+}
+
+/* Keep TOC and index lines close together. */
+div.toc dl, div.toc dt,
+div.list-of-figures dl, div.list-of-figures dt,
+div.list-of-tables dl, div.list-of-tables dt,
+div.indexdiv dl, div.indexdiv dt
+{
+  line-height: normal;
+  margin-top: 0;
+  margin-bottom: 0;
+}
+
+/*
+  Table styling does not work because of overriding attributes in
+  generated HTML.
+*/
+div.table table,
+div.informaltable table
+{
+    margin-left: 0;
+    margin-right: 5%;
+    margin-bottom: 0.8em;
+}
+div.informaltable table
+{
+    margin-top: 0.4em
+}
+div.table thead,
+div.table tfoot,
+div.table tbody,
+div.informaltable thead,
+div.informaltable tfoot,
+div.informaltable tbody
+{
+    /* No effect in IE6. */
+    border-top: 2px solid #527bbd;
+    border-bottom: 2px solid #527bbd;
+}
+div.table thead, div.table tfoot,
+div.informaltable thead, div.informaltable tfoot
+{
+    font-weight: bold;
+}
+
+div.mediaobject img {
+    border: 1px solid silver;
+    margin-bottom: 0.8em;
+}
+div.figure p.title,
+div.table p.title
+{
+  margin-top: 1em;
+  margin-bottom: 0.4em;
+}
+
+@media print {
+  div.navheader, div.navfooter { display: none; }
+}
+
+/* my additions */
+span.tag, span.hiddentag {
+    font-weight: bold;
+    color: rgb(255, 0, 255); /* magenta */
+    padding-left: 15px;
+    float: right;
+}
+/* inside a table cell means this tag is part of a section */
+td span.tag {
+	padding-top: 25px !important;
+}
+
+div.key {
+    color: rgb(255, 0, 255); /* magenta */
+    min-width: 120px; /* with 20px padding actually 140px */
+	/*padding-bottom: 5px;*/
+	padding-right: 20px;
+    float: left;
+}
+span.warning {
+  font-weight: bold;
+  color: red;
+}
+fieldset.paypal {
+    border: none;
+}
+
+.argument {
+    color: #6A97D4;
+}
+.command {
+    font-weight: bold;
+    color: #632610;
+    white-space: nowrap;
+}
+.mapping {
+    font-weight: bold;
+    color: #102663;
+}
+.option {
+    font-weight: bold;
+    color: #106326;
+}
+.quoteblock {
+	margin-left: 140px;
+	padding-bottom: 10px;
+}