Commit ed1153ad authored by Jonathan Wilkes's avatar Jonathan Wilkes
Browse files

shorten the preferences dialog tabs

parent d351d09a
......@@ -513,7 +513,7 @@ div.y2 {
margin-bottom: 0px;
/* Set the background color to default gray (non-selected tab) */
background-color:#7569d7;
height: 5vh;
height: 4vh;
}
/* Focused tabs */
......
......@@ -657,7 +657,7 @@ div.y2 {
margin-bottom: 0px;
/* Set the background color to default gray (non-selected tab) */
background-color:#ececec;
height: 5vh;
height: 4vh;
}
/* Focused tabs */
......
......@@ -501,7 +501,7 @@ div.y2 {
margin-bottom: 0px;
/* Set the background color to default gray (non-selected tab) */
background-color:#ececec;
height: 5vh;
height: 4vh;
}
/* Focused tabs */
......
......@@ -527,7 +527,7 @@ div.y2 {
margin-bottom: 0px;
/* Set the background color to default gray (non-selected tab) */
background-color:#ececec;
height: 5vh;
height: 4vh;
}
/* Focused tabs */
......
......@@ -509,7 +509,7 @@ div.y2 {
margin-bottom: 0px;
/* Set the background color to default gray (non-selected tab) */
background-color:#ececec;
height: 5vh;
height: 4vh;
}
/* Focused tabs */
......
......@@ -508,7 +508,7 @@ div.y2 {
margin-bottom: 0px;
/* Set the background color to default gray (non-selected tab) */
background-color:#ececec;
height: 5vh;
height: 4vh;
}
/* Focused tabs */
......
......@@ -502,7 +502,7 @@ div.y2 {
margin-bottom: 0px;
/* Set the background color to default gray (non-selected tab) */
background-color:#ececec;
height: 5vh;
height: 4vh;
}
/* Focused tabs */
......
......@@ -507,7 +507,7 @@ div.y2 {
margin-bottom: 0px;
/* Set the background color to default gray (non-selected tab) */
background-color:#ececec;
height: 5vh;
height: 4vh;
}
/* Focused tabs */
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment