anewt-developers team mailing list archive

[noreply@xxxxxxxxxxxxx]

------------------------------------------------------------
revno: 1727
committer: Wouter Bolsterlee <uws@xxxxxxxxx>
branch nick: anewt.uws
timestamp: Sun 2009-08-02 21:58:25 +0200
message:
  [doc] Minor style changes
modified:
  doc/manual/assets/style.css


--
lp:anewt
https://code.launchpad.net/~uws/anewt/anewt.uws

Your team Anewt developers is subscribed to branch lp:anewt.
To unsubscribe from this branch go to https://code.launchpad.net/~uws/anewt/anewt.uws/+edit-subscription.

=== modified file 'doc/manual/assets/style.css'
--- doc/manual/assets/style.css	2009-08-02 10:45:37 +0000
+++ doc/manual/assets/style.css	2009-08-02 19:58:25 +0000
@@ -31,8 +31,7 @@
 html {
  background-color: #eeeeec;
  color: #2e3436;
- font-family: Arial, "Helvetica", sans-serif;
- font-size: 10pt;
+ font: 10pt/14pt Arial, "Helvetica", sans-serif;
  padding: 0;
  margin: 0;
 }
@@ -104,7 +103,6 @@
 dd {
  margin-top: 0;
  margin-bottom: .5em;
- line-height: 120%;
 }
 
 p.intro {
@@ -280,7 +278,6 @@
  border-style: solid;
  border-width: 1px 1px 1px 10px;
  font-size: .9em;
- line-height: 120%;
  overflow: auto;
  padding: 1em;
 }
@@ -303,7 +300,7 @@
 }
 
 pre span {
- color: yellow; /* Highlight unstyled types for now */
+ x-color: yellow; /* Highlight unstyled types for now */
 }
 
 pre span.kw1,