Fossil SCM
Minor style tweaks after trying the editor in different skins.
Commit
7418144b3f5ef3933c60913fe5084112143d5c3867b6c06793dc68c546578b39
Parent
a8cb9b1a7b934d3…
1 file changed
+7
-2
+7
-2
| --- src/style.wikiedit.css | ||
| +++ src/style.wikiedit.css | ||
| @@ -3,14 +3,16 @@ | ||
| 3 | 3 | cursor: wait; |
| 4 | 4 | } |
| 5 | 5 | body.wikiedit textarea, |
| 6 | 6 | body.wikiedit textarea:focus, |
| 7 | 7 | body.wikiedit input, |
| 8 | -body.wikiedit input:focus{ | |
| 8 | +body.wikiedit input:focus, | |
| 9 | +body.wikiedit select, | |
| 10 | +body.wikiedit select:focus{ | |
| 9 | 11 | /* The sudden appearance of a border (as in the Ardoise skin) |
| 10 | 12 | shifts the layout in unsightly ways */ |
| 11 | - border: revert; | |
| 13 | + border: initial; | |
| 12 | 14 | } |
| 13 | 15 | body.wikiedit div.wikiedit-preview { |
| 14 | 16 | margin: 0; |
| 15 | 17 | padding: 0; |
| 16 | 18 | } |
| @@ -50,10 +52,12 @@ | ||
| 50 | 52 | flex-direction: column; |
| 51 | 53 | align-items: start; |
| 52 | 54 | } |
| 53 | 55 | body.wikiedit .WikiList select { |
| 54 | 56 | font-size: 110%; |
| 57 | + margin: initial; | |
| 58 | + height: initial /* some skins set these to a fix height */; | |
| 55 | 59 | } |
| 56 | 60 | body.wikiedit .WikiList select option { |
| 57 | 61 | margin: 0.5em 0; |
| 58 | 62 | } |
| 59 | 63 | body.wikiedit .WikiList select option.stashed::before { |
| @@ -72,10 +76,11 @@ | ||
| 72 | 76 | /* Needed for wide diffs */ |
| 73 | 77 | overflow: auto; |
| 74 | 78 | } |
| 75 | 79 | body.wikiedit .WikiList fieldset { |
| 76 | 80 | padding: 0.25em; |
| 81 | + border-width: 1px /* Ardoise skin sets this to 0 */; | |
| 77 | 82 | } |
| 78 | 83 | body.wikiedit .WikiList legend { |
| 79 | 84 | font-size: 90%; |
| 80 | 85 | } |
| 81 | 86 | body.wikiedit .WikiList fieldset > :not(legend) { |
| 82 | 87 |
| --- src/style.wikiedit.css | |
| +++ src/style.wikiedit.css | |
| @@ -3,14 +3,16 @@ | |
| 3 | cursor: wait; |
| 4 | } |
| 5 | body.wikiedit textarea, |
| 6 | body.wikiedit textarea:focus, |
| 7 | body.wikiedit input, |
| 8 | body.wikiedit input:focus{ |
| 9 | /* The sudden appearance of a border (as in the Ardoise skin) |
| 10 | shifts the layout in unsightly ways */ |
| 11 | border: revert; |
| 12 | } |
| 13 | body.wikiedit div.wikiedit-preview { |
| 14 | margin: 0; |
| 15 | padding: 0; |
| 16 | } |
| @@ -50,10 +52,12 @@ | |
| 50 | flex-direction: column; |
| 51 | align-items: start; |
| 52 | } |
| 53 | body.wikiedit .WikiList select { |
| 54 | font-size: 110%; |
| 55 | } |
| 56 | body.wikiedit .WikiList select option { |
| 57 | margin: 0.5em 0; |
| 58 | } |
| 59 | body.wikiedit .WikiList select option.stashed::before { |
| @@ -72,10 +76,11 @@ | |
| 72 | /* Needed for wide diffs */ |
| 73 | overflow: auto; |
| 74 | } |
| 75 | body.wikiedit .WikiList fieldset { |
| 76 | padding: 0.25em; |
| 77 | } |
| 78 | body.wikiedit .WikiList legend { |
| 79 | font-size: 90%; |
| 80 | } |
| 81 | body.wikiedit .WikiList fieldset > :not(legend) { |
| 82 |
| --- src/style.wikiedit.css | |
| +++ src/style.wikiedit.css | |
| @@ -3,14 +3,16 @@ | |
| 3 | cursor: wait; |
| 4 | } |
| 5 | body.wikiedit textarea, |
| 6 | body.wikiedit textarea:focus, |
| 7 | body.wikiedit input, |
| 8 | body.wikiedit input:focus, |
| 9 | body.wikiedit select, |
| 10 | body.wikiedit select:focus{ |
| 11 | /* The sudden appearance of a border (as in the Ardoise skin) |
| 12 | shifts the layout in unsightly ways */ |
| 13 | border: initial; |
| 14 | } |
| 15 | body.wikiedit div.wikiedit-preview { |
| 16 | margin: 0; |
| 17 | padding: 0; |
| 18 | } |
| @@ -50,10 +52,12 @@ | |
| 52 | flex-direction: column; |
| 53 | align-items: start; |
| 54 | } |
| 55 | body.wikiedit .WikiList select { |
| 56 | font-size: 110%; |
| 57 | margin: initial; |
| 58 | height: initial /* some skins set these to a fix height */; |
| 59 | } |
| 60 | body.wikiedit .WikiList select option { |
| 61 | margin: 0.5em 0; |
| 62 | } |
| 63 | body.wikiedit .WikiList select option.stashed::before { |
| @@ -72,10 +76,11 @@ | |
| 76 | /* Needed for wide diffs */ |
| 77 | overflow: auto; |
| 78 | } |
| 79 | body.wikiedit .WikiList fieldset { |
| 80 | padding: 0.25em; |
| 81 | border-width: 1px /* Ardoise skin sets this to 0 */; |
| 82 | } |
| 83 | body.wikiedit .WikiList legend { |
| 84 | font-size: 90%; |
| 85 | } |
| 86 | body.wikiedit .WikiList fieldset > :not(legend) { |
| 87 |