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);