Changeset 353:2b51aacd3a55 in livinglogic.python.www

Show
Ignore:
Timestamp:
07/22/05 19:12:30 (15 years ago)
Author:
Walter Doerwald <walter@…>
Branch:
default
Message:

Uppercase TOXIC.

Use Times as the main content font.

Location:
site
Files:
2 modified

Legend:

Unmodified
Added
Removed
  • site/index.htmlxsc

    r350 r353  
    1717<item><em><link href="ansistyle/index.html">ANSIStyle</link></em> is a module 
    1818that enables colored text output via ANSI escape sequences.</item> 
    19 <item><em><link href="toxic/index.html">Toxic</link></em> is an &xist; namespace 
     19<item><em><link href="toxic/index.html">TOXIC</link></em> is an &xist; namespace 
    2020that allows you to generate Oracle database function that return &xml; strings 
    2121by embedding processing instructions containing PL/SQL in &xml; files.</item> 
  • site/main_screen.css

    r346 r353  
    11body 
    22{ 
    3     font-family: "Verdana", "Tahoma", "Arial", "XHelvetica", "Helvetica", sans-serif; 
    4     font-size-adjust: 0.58; 
     3    font-family: "Times New Roman", "XTimes", "Times", serif; 
    54    font-size: 11px; 
    65    background-color: #333; 
     
    7069td.crumbs2 
    7170{ 
     71    font-family: "Verdana", "Arial", "XHelvetica", "Helvetica", sans-serif; 
    7272    background-color: #194b6e; 
    7373    background-image: url(images/Backdrops/NautilusDarkBlue.jpg); 
     
    8080{ 
    8181    border-top: 1px solid #000; 
    82     font-size: 12px; 
    8382} 
    8483 
     
    8685{ 
    8786    padding: 4px 6px 4px 30px; 
    88     font-size: 10px; 
     87    font-size: 11px; 
    8988    color: #fff; 
    9089    border-top: 1px solid #000; 
     
    9695{ 
    9796    padding-left: 30px; 
    98     font-size: 8px; 
     97    font-size: 9px; 
    9998} 
    10099 
     
    163162td.links 
    164163{ 
     164    font-family: "Verdana", "Arial", "XHelvetica", "Helvetica", sans-serif; 
    165165    border-top: 1px solid #000; 
    166166    padding: 16px 0px 0px 0px; 
     
    183183    white-space: nowrap; 
    184184    color: #fff; 
    185     font-size: 12px; 
     185    font-size: 13px; 
    186186    border-top: 1px solid #333; 
    187187    border-bottom: 1px solid #000; 
     
    193193} 
    194194 
     195td.links>div, 
     196td.links>a 
     197{ 
     198    padding: 6px 2px 6px 10px; 
     199} 
     200 
    195201td.links div 
    196202{ 
     
    208214    background-image: none; 
    209215    color: #fff; 
    210     font-size: 10px; 
     216    font-size: 11px; 
    211217    border: 0px; 
    212218    margin: 1px 0px 0px 0px; 
    213     padding: 0px 2px 2px 2px; 
     219    padding: 0px 3px 2px 3px; 
    214220} 
    215221 
     
    219225    left: 1px; 
    220226    border-bottom: 2px solid #fff; 
    221     padding: 0px 3px 0px 1px; 
     227    padding: 0px 4px 0px 2px; 
    222228} 
    223229 
     
    246252    display: block; 
    247253    float: right; 
    248     font-size: 11px; 
     254    font-size: 16px; 
    249255    font-weight: normal; 
    250256    padding: 1px 4px 1px 20px; 
     
    299305p, li, dd 
    300306{ 
    301     font-size: 11px; 
    302     line-height: 18px; 
     307    font-size: 16px; 
     308    line-height: 22px; 
    303309    margin: 0px 0px 8px 0px; 
    304310} 
     
    306312dt 
    307313{ 
    308     font-size: 11px; 
    309     line-height: 18px; 
     314    font-size: 16px; 
     315    line-height: 22px; 
    310316} 
    311317 
     
    493499{ 
    494500    margin: 0px 30px 8px 30px; 
    495     font-size: 10px; 
     501    font-size: 12px; 
     502    line-height: 20px; 
    496503    border: 1px solid #eee; 
    497504    background-color: #fafafa; 
     
    502509div.example-title 
    503510{ 
    504     margin-top: -7px; 
     511    font-family: "Verdana", "Arial", "XHelvetica", "Helvetica", sans-serif; 
     512    font-size: 9px; 
     513    margin-top: -8px; 
    505514    margin-bottom: 4px; 
    506515    margin-right: 30px; 
    507     font-size: 9px; 
    508516    color: #666; 
    509517    text-align: right; 
     
    583591    display: none; 
    584592} 
     593code 
     594{ 
     595    font-family: "Courier New", monospace; 
     596} 
    585597code.option 
    586598{