/[gzz]/gzz/doc/gzz.css
ViewVC logotype

Diff of /gzz/doc/gzz.css

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.7 by tjl, Thu Nov 7 09:33:31 2002 UTC revision 1.8 by benja, Fri Nov 15 15:59:26 2002 UTC
# Line 44  code { font-family: monospace; } Line 44  code { font-family: monospace; }
44  .wideimg { margin-left: -18%; margin-right: -6%; }  .wideimg { margin-left: -18%; margin-right: -6%; }
45  .abstract { width: 60%; text-align: center; }  .abstract { width: 60%; text-align: center; }
46  .algorithm { font-family: serif; background: #00E0E0; margin-left: 1cm;}  .algorithm { font-family: serif; background: #00E0E0; margin-left: 1cm;}
 .docinfo-name { font-weight: bold; }  
47    
48  span.red { color: red; background: white;}  span.red { color: red; background: white;}
49  span.green { color: green; background: white; }  span.green { color: green; background: white; }
# Line 154  ol.upperroman { Line 153  ol.upperroman {
153    
154    
155  pre.literal-block, pre.doctest-block {  pre.literal-block, pre.doctest-block {
156    margin-left: 4em ;    margin-left: 2em ;
157    margin-right: 4em ;    margin-right: 2em }
   background-color: #eeee5e }  
158    
159  span.classifier {  span.classifier {
160    font-family: sans-serif ;    font-family: sans-serif ;
# Line 188  table.footnote { Line 186  table.footnote {
186    
187    
188    
189  td.docinfo-name {  .docinfo-name {
190    font-weight: bold ;    font-weight: bold;
191    text-align: right }    text-align: left;
192      margin-right: .75em }
193    
194  td.field-name {  td.field-name {
195    font-weight: bold }    font-weight: bold }

Legend:
Removed from v.1.7  
changed lines
  Added in v.1.8

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26