Fossil SCM
Sidebars now float to the right of the main content when there's space to allow both. This doesn't wholly invalidate [c062e330], but this is a better overall solution.
Commit
265412ee5a656656f86e67ea3ed53c9511bdb6d120e1965d3e5c8f463e65954f
Parent
c062e330ccb805c…
1 file changed
+8
-3
+8
-3
| --- skins/default/css.txt | ||
| +++ skins/default/css.txt | ||
| @@ -203,16 +203,13 @@ | ||
| 203 | 203 | background-color: rgba(65, 131, 196, 0.1); |
| 204 | 204 | border-left: 3px solid #4183c4; |
| 205 | 205 | padding: 0.1em 1em; |
| 206 | 206 | } |
| 207 | 207 | .sidebar { |
| 208 | - float: right; | |
| 209 | 208 | font-size: 0.9em; |
| 210 | - max-width: 33%; | |
| 211 | 209 | } |
| 212 | 210 | div.sidebar { |
| 213 | - margin-left: 1em; /* don't run wraparound text right up to our border */ | |
| 214 | 211 | padding: 1em; /* no p wrapper inside to get extra padding from */ |
| 215 | 212 | } |
| 216 | 213 | div.sidebar:not(.no-label):before { |
| 217 | 214 | content: "Sidebar: "; |
| 218 | 215 | font-weight: bold; |
| @@ -724,6 +721,14 @@ | ||
| 724 | 721 | * above, expressed as padding instead of margin so it adds to the |
| 725 | 722 | * outer margin instead of forcing the browser into picking one. */ |
| 726 | 723 | .local-indent { |
| 727 | 724 | padding-left: 30pt; |
| 728 | 725 | } |
| 726 | + | |
| 727 | + /* Float sidebars to the right of the main content only on screens big | |
| 728 | + * enough to give enough room for both. Margin needed only then. */ | |
| 729 | + .sidebar { | |
| 730 | + float: right; | |
| 731 | + max-width: 33%; | |
| 732 | + margin-left: 1em; | |
| 733 | + } | |
| 729 | 734 | } |
| 730 | 735 |
| --- skins/default/css.txt | |
| +++ skins/default/css.txt | |
| @@ -203,16 +203,13 @@ | |
| 203 | background-color: rgba(65, 131, 196, 0.1); |
| 204 | border-left: 3px solid #4183c4; |
| 205 | padding: 0.1em 1em; |
| 206 | } |
| 207 | .sidebar { |
| 208 | float: right; |
| 209 | font-size: 0.9em; |
| 210 | max-width: 33%; |
| 211 | } |
| 212 | div.sidebar { |
| 213 | margin-left: 1em; /* don't run wraparound text right up to our border */ |
| 214 | padding: 1em; /* no p wrapper inside to get extra padding from */ |
| 215 | } |
| 216 | div.sidebar:not(.no-label):before { |
| 217 | content: "Sidebar: "; |
| 218 | font-weight: bold; |
| @@ -724,6 +721,14 @@ | |
| 724 | * above, expressed as padding instead of margin so it adds to the |
| 725 | * outer margin instead of forcing the browser into picking one. */ |
| 726 | .local-indent { |
| 727 | padding-left: 30pt; |
| 728 | } |
| 729 | } |
| 730 |
| --- skins/default/css.txt | |
| +++ skins/default/css.txt | |
| @@ -203,16 +203,13 @@ | |
| 203 | background-color: rgba(65, 131, 196, 0.1); |
| 204 | border-left: 3px solid #4183c4; |
| 205 | padding: 0.1em 1em; |
| 206 | } |
| 207 | .sidebar { |
| 208 | font-size: 0.9em; |
| 209 | } |
| 210 | div.sidebar { |
| 211 | padding: 1em; /* no p wrapper inside to get extra padding from */ |
| 212 | } |
| 213 | div.sidebar:not(.no-label):before { |
| 214 | content: "Sidebar: "; |
| 215 | font-weight: bold; |
| @@ -724,6 +721,14 @@ | |
| 721 | * above, expressed as padding instead of margin so it adds to the |
| 722 | * outer margin instead of forcing the browser into picking one. */ |
| 723 | .local-indent { |
| 724 | padding-left: 30pt; |
| 725 | } |
| 726 | |
| 727 | /* Float sidebars to the right of the main content only on screens big |
| 728 | * enough to give enough room for both. Margin needed only then. */ |
| 729 | .sidebar { |
| 730 | float: right; |
| 731 | max-width: 33%; |
| 732 | margin-left: 1em; |
| 733 | } |
| 734 | } |
| 735 |