- .right-column {
- @include size(margin-top, 16px);
- // Eat the padding
- @include size(margin-left, -10px);
- @include size(margin-right, -10px);
- max-width: none;
-
- @media screen and (min-width: 62.5em) {
- @include size(width, 415px);
- // Eat the padding
- @include size(margin-top, -8px);
- }
-
- .other-tools,
- .other-download {
- @include size(font-size, 11px);
- clear: left;
- @include size(margin-top, 25px);
- line-height: 1.75em;
- @include size(margin-left, 15px);
-
- h2 {
- margin: 0;
- @include size(font-size, 11px);
- @include mono;
- }
-
- @include min-screen($S_BOOK_SHORT_FULL) {
- float: left;
- clear: none;
- @include size(width, 145px);
- @include size(margin-top, 50px);
- @include size(margin-right, 0);
- @include size(margin-bottom, 0);
- @include size(margin-left, 5px);
- }
-
- @include min-screen(1000px) {
- @include size(margin-top, 50px);
- line-height: 1.2em;
- }
- }
- .other-download {
- @include min-screen($S_BOOK_SHORT_FULL) {
- @include size(margin-left, 15px);
- @include size(width, 220px);
- }
- }
- }