Sort out some more fonty stuff, mostly size
authorChris Morgan <me@chrismorgan.info>
committerChris Morgan <me@chrismorgan.info>
static/gitweb.css
static/gitweb.js

index 78bed54b1d93f4ecff3418e9a4605ba0a56559bf..69ced16a6a94d4eb94bd5d7ba6020a09c9abee98 100644 (file)
@@ -131,7 +131,6 @@ div.title_text {
        padding: 6px 0px;
        border: solid #d9d8d1;
        border-width: 0px 0px 1px;
-       font-family: monospace;
 }
 
 div.log_body {
@@ -215,7 +214,7 @@ table {
 }
 
 table.diff_tree {
-       font-family: monospace;
+       font-family: monospace,m;
 }
 
 table.combined.diff_tree th {
@@ -246,13 +245,11 @@ table.blame {
 
 table.blame td {
        padding: 0px 5px;
-       font-size: 100%;
        vertical-align: top;
 }
 
 th {
        padding: 2px 5px;
-       font-size: 100%;
        text-align: left;
 }
 
@@ -287,7 +284,6 @@ tr.color3 { background-color: #fff6f6; }
 
 td {
        padding: 2px 5px;
-       font-size: 100%;
        vertical-align: top;
 }
 
@@ -302,7 +298,7 @@ td.selflink {
 }
 
 td.sha1 {
-       font-family: monospace;
+       font-family: monospace,m;
 }
 
 .error {
@@ -374,13 +370,12 @@ table.blame td.age0 {
 }
 
 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 */
@@ -396,7 +391,7 @@ div#progress_info {
 
 /* format of (optional) objects size in 'tree' view */
 td.size {
-       font-family: monospace;
+       font-family: monospace,m;
        text-align: right;
 }
 
@@ -661,15 +656,9 @@ div.remote {
        /* 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;
 }
 
index 85e8025f2d1414feb442620a1b402c845bb3feaa..e6b45d1c3816a23228b7411d226a26a7859c06e0 100644 (file)
@@ -694,10 +694,10 @@ function createChangeTZForm(documentFragment, tzSelected, tzCookieInfo, tzClassN
        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);