padding: 6px 0px;
        border: solid #d9d8d1;
        border-width: 0px 0px 1px;
-       font-family: monospace;
 }
 
 div.log_body {
 }
 
 table.diff_tree {
-       font-family: monospace;
+       font-family: monospace,m;
 }
 
 table.combined.diff_tree th {
 
 table.blame td {
        padding: 0px 5px;
-       font-size: 100%;
        vertical-align: top;
 }
 
 th {
        padding: 2px 5px;
-       font-size: 100%;
        text-align: left;
 }
 
 
 td {
        padding: 2px 5px;
-       font-size: 100%;
        vertical-align: top;
 }
 
 }
 
 td.sha1 {
-       font-family: monospace;
+       font-family: monospace,m;
 }
 
 .error {
 }
 
 td.pre, div.pre, div.diff {
-       font-family: monospace;
-       font-size: 12px;
+       font-family: monospace,m;
        white-space: pre;
 }
 
 td.mode {
-       font-family: monospace;
+       font-family: monospace,m;
 }
 
 /* progress of blame_interactive */
 
 /* format of (optional) objects size in 'tree' view */
 td.size {
-       font-family: monospace;
+       font-family: monospace,m;
        text-align: right;
 }
 
        /* float: right; */
        position: absolute;
        top: 0px; right: 0px;
-       border:  1px solid green;
-       margin:  1px 1px 1px 1px;
-       padding-bottom: 2px;
-       width:     12px;
-       height:    10px;
-       font-size:  9px;
+       border: none;
        font-weight: bold;
-       text-align: center;
-       background-color: #fff0f0;
+       background-color: transparent;
        cursor: pointer;
 }
 
 
        div.className = 'popup';
 
        /* '<div class="close-button" title="(click on this box to close)">X</div>' */
-       var closeButton = document.createElement('div');
+       var closeButton = document.createElement('button');
        closeButton.className = 'close-button';
-       closeButton.title = '(click on this box to close)';
-       closeButton.appendChild(document.createTextNode('X'));
+       closeButton.title = '(click on this button to close)';
+       closeButton.appendChild(document.createTextNode('×'));
        closeButton.onclick = closeTZFormHandler(documentFragment, tzClassName);
        div.appendChild(closeButton);