1.1 --- a/en/hgbook.css	Thu Mar 08 23:35:57 2007 -0800
     1.2 +++ b/en/hgbook.css	Mon Nov 26 20:42:36 2007 -0800
     1.3 @@ -12,15 +12,8 @@
     1.4    font-size: 172%;
     1.5    font-family: monospace;
     1.6  }
     1.7 -.ptmr7t-x-x-172 {
     1.8 -  font-family: monospace;
     1.9 -}
    1.10  .ptmr7t-x-x-120 {
    1.11    font-size: 120%;
    1.12 -  font-family: monospace;
    1.13 -}
    1.14 -.ptmr7t-x-x-120 {
    1.15 -  font-family: monospace;
    1.16  }
    1.17  .zpzccmry-x-x-120 {
    1.18    font-size: 120%;
    1.19 @@ -41,9 +34,6 @@
    1.20    font-size: 50%;
    1.21    font-family: monospace;
    1.22  }
    1.23 -.ptmr7t-x-x-50 {
    1.24 -  font-family: monospace;
    1.25 -}
    1.26  .ptmb7t- {
    1.27    font-weight: bold;
    1.28  }