gitweb: Remove redundant $searchtype setup

[Gitweb] / gitweb.css

diff --git a/gitweb.css b/gitweb.css
index f87636e23064a9b1c003ffd2ed40d8d88e48d17d83568b64f5eb9bd6c80e48de..3918671298ea9a67988c4231ccbe440014068a9c8ce9c2c3b6207924fb851eb8 100644 (file)
--- a/gitweb.css
+++ b/gitweb.css
@@ -1,6 +1,6 @@
 body {
        font-family: sans-serif;
 body {
        font-family: sans-serif;

-       font-size: 12px;
+       font-size: small;

        border: solid #d9d8d1;
        border-width: 1px;
        margin: 10px;
        border: solid #d9d8d1;
        border-width: 1px;
        margin: 10px;


@@ -31,7 +31,7 @@ img.logo {
 div.page_header {
        height: 25px;
        padding: 8px;
 div.page_header {
        height: 25px;
        padding: 8px;

-       font-size: 18px;
+       font-size: 150%;

        font-weight: bold;
        background-color: #d9d8d1;
 }
        font-weight: bold;
        background-color: #d9d8d1;
 }


@@ -113,7 +113,7 @@ span.signoff {
 
 div.log_link {
        padding: 0px 8px;
 
 div.log_link {
        padding: 0px 8px;

-       font-size: 10px;
+       font-size: 70%;

        font-family: sans-serif;
        font-style: normal;
        position: relative;
        font-family: sans-serif;
        font-style: normal;
        position: relative;


@@ -204,13 +204,13 @@ table.blame {
 
 table.blame td {
        padding: 0px 5px;
 
 table.blame td {
        padding: 0px 5px;

-       font-size: 12px;
+       font-size: 100%;

        vertical-align: top;
 }
 
 th {
        padding: 2px 5px;
        vertical-align: top;
 }
 
 th {
        padding: 2px 5px;

-       font-size: 12px;
+       font-size: 100%;

        text-align: left;
 }
 
        text-align: left;
 }
 


@@ -232,14 +232,14 @@ tr.dark:hover {
 
 td {
        padding: 2px 5px;
 
 td {
        padding: 2px 5px;

-       font-size: 12px;
+       font-size: 100%;

        vertical-align: top;
 }
 
 td.link, td.selflink {
        padding: 2px 5px;
        font-family: sans-serif;
        vertical-align: top;
 }
 
 td.link, td.selflink {
        padding: 2px 5px;
        font-family: sans-serif;

-       font-size: 10px;
+       font-size: 70%;

 }
 
 td.selflink {
 }
 
 td.selflink {


@@ -416,7 +416,7 @@ div.index_include {
 }
 
 div.search {
 }
 
 div.search {

-       font-size: 12px;
+       font-size: 100%;

        font-weight: normal;
        margin: 4px 8px;
        position: absolute;
        font-weight: normal;
        margin: 4px 8px;
        position: absolute;


@@ -444,7 +444,7 @@ a.rss_logo {
        background-color: #ff6600;
        font-weight: bold;
        font-family: sans-serif;
        background-color: #ff6600;
        font-weight: bold;
        font-family: sans-serif;

-       font-size: 10px;
+       font-size: 70%;

        text-align: center;
        text-decoration: none;
 }
        text-align: center;
        text-decoration: none;
 }


@@ -455,7 +455,7 @@ a.rss_logo:hover {
 
 span.refs span {
        padding: 0px 4px;
 
 span.refs span {
        padding: 0px 4px;

-       font-size: 10px;
+       font-size: 70%;

        font-weight: normal;
        border: 1px solid;
        background-color: #ffaaff;
        font-weight: normal;
        border: 1px solid;
        background-color: #ffaaff;


@@ -484,3 +484,7 @@ span.atnight {
 span.match {
        color: #e00000;
 }
 span.match {
        color: #e00000;
 }

+
+div.binary {
+       font-style: italic;
+}