[bpfk] dag-cll git updates for Mon Dec 20 21:21:02 EST 2010

[www-data <www-data@oh-www1.lojban.org>]

commit 515bc0ddee249cfc0c04ac9037239150b7633781
Author: Robin Lee Powell <rlpowell@digitalkingdom.org>
Date:   Mon Dec 20 17:37:14 2010 -0800

    don't use programlisting

diff --git a/todocbook/TODO b/todocbook/TODO
index 93a9c21..b4a46ce 100644
--- a/todocbook/TODO
+++ b/todocbook/TODO
@@ -83,20 +83,26 @@ right now.  In particular, there are a lot of elements with no space
 after their terminators; it doesn't really matter, but it's
 annoying.
 
  ------
 
 If you see a <quote>...</quote> around Lojban text, replace it with
 <jbophrase>...</jbophrase>.  There are lots of these.
 
  ------
 
+<programlisting> is bad; change it.  If you can't figure out how to
+change it, or think it's actually correct in some particular place,
+post to the BPFK list.
+
+ ------
+
 If an example/interlinear-gloss consists solely of English, replace
 the <interlinear-gloss>...</interlinear-gloss> with <para>...</para>
 
  ------
 
 Deal with index entries already in the text, like these:
 
     <example role="interlinear-gloss-example" xml:id="random-id-UMjE">
       <title>
         <anchor xml:id="c5e1d5" />
diff --git a/todocbook/docbook2html.css b/todocbook/docbook2html.css
index b694668..eb5faf7 100644
--- a/todocbook/docbook2html.css
+++ b/todocbook/docbook2html.css
@@ -16,22 +16,27 @@ body {
         margin: 0.5em 2em;
  
 }
 
 .programlisting {
         font-family: monospace;
         font-size: 1em;
         display: block;
         padding: 10px;
         border: 1px solid #bbb;
+        /* programlisting *bad* for CLL; make it obvious */
+        background-color: #000;   
+        color: #000;   
+        /*
         background-color: #ddd;
         color: #000;   
+        */
         overflow: auto;
         border-radius: 2.5px;
         -moz-border-radius: 2.5px;
         margin: 0.5em 2em;
 }
 
 .example {
         font-family: monospace;
         font-size: 1em;
         display: block;

-- 
You received this message because you are subscribed to the Google Groups "BPFK" group.
To post to this group, send email to bpfk-list@googlegroups.com.
To unsubscribe from this group, send email to bpfk-list+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/bpfk-list?hl=en.