Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | More updates to text bubble-generator. |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
3d6edd87ad046870904bf34cae9589ab |
| User & Date: | shaneh 2010-03-24 03:44:36 |
Context
|
2010-03-24
| ||
| 03:48 | Output of bubble-generator-text.tcl (check-in: cc2f7e8bc8 user: shaneh tags: trunk) | |
| 03:44 | More updates to text bubble-generator. (check-in: 3d6edd87ad user: shaneh tags: trunk) | |
| 03:36 | Minor updates to text based syntax generator to support IE8. Unfortunately, IE8 doesn't support radius styles on tables. (check-in: 4f317a713b user: shaneh tags: trunk) | |
Changes
Changes to art/syntax/bubble-generator-text.tcl.
766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 |
set f [open all-text.html w]
puts $f "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01//EN\" \"http://www.w3.org/TR/html4/strict.dtd\">"
puts $f "<html>"
puts $f "<head>"
puts $f "<style type='text/css'>"
puts $f "h3 { font-family:helvetica; font-size:$font3; }"
puts $f "table, td { border-collapse:collapse; border-style:none; margin:0px; padding:0px; border-spacing:0px; }"
puts $f "td { vertical-align:top; white-space:nowrap; font-family:helvetica; font-size:$font3; }"
puts $f "hr { height:1px; }"
puts $f ".round { font-size:$font1; border-style:solid; border-width:1px; margin:0px; padding:1px; border-spacing:0px; border-radius:$rad; -moz-border-radius:$rad; -webkit-border-radius:$rad; }"
puts $f ".square { font-size:$font1; border-style:solid; border-width:1px; margin:0px; padding:1px; border-spacing:0px; }"
puts $f ".side { border-style:solid; border-width:1px; }"
puts $f ".draw { border-collapse:separate; empty-cells:show; }"
puts $f ".top { padding:$rad; border-top-style:solid; border-width:1px; }"
puts $f ".bottom { padding:$rad; border-bottom-style:solid; border-width:1px; }"
puts $f ".rside { padding:$rad; border-right-style:solid; border-width:1px; }"
puts $f ".lside { padding:$rad; border-left-style:solid; border-width:1px; }"
|
| | |
766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 |
set f [open all-text.html w]
puts $f "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01//EN\" \"http://www.w3.org/TR/html4/strict.dtd\">"
puts $f "<html>"
puts $f "<head>"
puts $f "<style type='text/css'>"
puts $f "h3 { font-family:helvetica; font-size:$font3; }"
puts $f "table, td { border-collapse:separate; border-style:none; margin:0px; padding:0px; border-spacing:0px; }"
puts $f "td { vertical-align:top; white-space:nowrap; font-family:helvetica; font-size:$font3; }"
puts $f "hr { height:1px; }"
puts $f ".round { border-collapse:separate; font-size:$font1; border-style:solid; border-width:1px; margin:0px; padding:1px; border-spacing:0px; border-radius:$font1; -moz-border-radius:$font1; -webkit-border-radius:$font1; }"
puts $f ".square { font-size:$font1; border-style:solid; border-width:1px; margin:0px; padding:1px; border-spacing:0px; }"
puts $f ".side { border-style:solid; border-width:1px; }"
puts $f ".draw { border-collapse:separate; empty-cells:show; }"
puts $f ".top { padding:$rad; border-top-style:solid; border-width:1px; }"
puts $f ".bottom { padding:$rad; border-bottom-style:solid; border-width:1px; }"
puts $f ".rside { padding:$rad; border-right-style:solid; border-width:1px; }"
puts $f ".lside { padding:$rad; border-left-style:solid; border-width:1px; }"
|