equal
deleted
inserted
replaced
98 .head {{ color: black; font-weight: bold; }} |
98 .head {{ color: black; font-weight: bold; }} |
99 .pron {{ color: green; }} |
99 .pron {{ color: green; }} |
100 .attr {{ color: magenta; }} |
100 .attr {{ color: magenta; }} |
101 .pos {{ color: green; font: weight: bold; }} |
101 .pos {{ color: green; font: weight: bold; }} |
102 .lang {{ color: brown; font: weight: bold; }} |
102 .lang {{ color: brown; font: weight: bold; }} |
103 .freq {{ color: red; }} |
|
104 .ex {{ font-style: italic; }} |
103 .ex {{ font-style: italic; }} |
|
104 .freq {{ color: red; font-family: monospace; }} |
105 </style> |
105 </style> |
106 </head> |
106 </head> |
107 <body> |
107 <body> |
108 """ |
108 """ |
109 HTML_FOOTER = """</body> |
109 HTML_FOOTER = """</body> |