diff --git a/about.html b/about.html index 3cc6b67..9fab929 100644 --- a/about.html +++ b/about.html @@ -10,7 +10,7 @@ h1:before{content:""}
 

You are here: Home Dive Into Python 3 -

About the book

+

About The Book

The text of Dive Into Python 3 is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License.

The chardet library referenced in Case study: porting chardet to Python 3 is licensed under the LGPL 2.1 or later. The alphametics solver referenced in Advanced Iterators is based on Raymond Hettinger's solver for Python 2, which he has graciously relicensed under the MIT license so I could port it to Python 3. Advanced Classes and Special Method Names contain snippets of code from the Python standard library which are released under the Python Software Foundation License version 2. All other example code is my original work and is licensed under the MIT license. Full licensing terms are included in each source code file.

The dynamic highlighting effects in the online edition are built on top of jQuery, which is dual-licensed under the MIT and GPL licenses. diff --git a/dip3.css b/dip3.css index 8ff81ae..16cd119 100644 --- a/dip3.css +++ b/dip3.css @@ -55,7 +55,7 @@ Acknowledgements & Inspirations */ /* typography */ -body,.w a{font:medium 'Gill Sans','Gill Sans MT',Corbel,Helvetica,Jara,'Nimbus Sans L',sans-serif;line-height:1.75;word-spacing:0.1em} +body,.w a{font:medium 'Gill Sans','Gill Sans MT',Corbel,Helvetica,'Nimbus Sans L',sans-serif;line-height:1.75;word-spacing:0.1em} pre,kbd,samp,code,var{font-family:Consolas,'Andale Mono',Monaco,'Liberation Mono','Bitstream Vera Sans Mono','DejaVu Sans Mono',monospace;font-size:medium;line-height:1.75;word-spacing:0} span{font:medium 'Arial Unicode MS',FreeSerif,OpenSymbol,'DejaVu Sans',sans-serif} pre span{font-family:'Arial Unicode MS','DejaVu Sans',FreeSerif,OpenSymbol,sans-serif} diff --git a/htmlminimizer.py b/htmlminimizer.py index 9cffa3d..ea50947 100644 --- a/htmlminimizer.py +++ b/htmlminimizer.py @@ -9,7 +9,7 @@ out = open(output_file, 'w', encoding="utf-8") # encoding argument! important! for line in open(input_file).readlines(): # replace entities with Unicode characters for e in re.findall('&(.+?);', line): - if e in ('lt', 'gt', 'amp', 'nbsp'): + if e in ('lt', 'gt', 'amp', 'quot', 'apos', 'nbsp'): continue n = html.entities.name2codepoint.get(e) if not n: