Browse Source

Merge pull request #5123 from Banandrew/3214

Added a `.tiny` modal size
pull/5262/head
Jack Lukic 7 years ago
committed by GitHub
parent
commit
e625b429d0
2 changed files with 51 additions and 0 deletions
  1. 37
      src/definitions/modules/modal.less
  2. 14
      src/themes/default/modules/modal.variables

37
src/definitions/modules/modal.less

@ -408,6 +408,43 @@
font-size: @medium;
}
/* Tiny */
.ui.tiny.modal > .header:not(.ui) {
font-size: @tinyHeaderSize;
}
/* Tiny Modal Width */
@media only screen and (max-width : @largestMobileScreen) {
.ui.tiny.modal {
width: @tinyMobileWidth;
margin: @tinyMobileMargin;
}
}
@media only screen and (min-width : @tabletBreakpoint) {
.ui.tiny.modal {
width: @tinyTabletWidth;
margin: @tinyTabletMargin;
}
}
@media only screen and (min-width : @computerBreakpoint) {
.ui.tiny.modal {
width: @tinyComputerWidth;
margin: @tinyComputerMargin;
}
}
@media only screen and (min-width : @largeMonitorBreakpoint) {
.ui.tiny.modal {
width: @tinyLargeMonitorWidth;
margin: @tinyLargeMonitorMargin;
}
}
@media only screen and (min-width : @widescreenMonitorBreakpoint) {
.ui.tiny.modal {
width: @tinyWidescreenMonitorWidth;
margin: @tinyWidescreenMonitorMargin;
}
}
/* Small */
.ui.small.modal > .header:not(.ui) {
font-size: @smallHeaderSize;

14
src/themes/default/modules/modal.variables

@ -120,10 +120,24 @@
--------------------*/
/* Size Widths */
@tinyRatio: 0.4;
@smallRatio: 0.8;
@largeRatio: 1.2;
/* Derived Responsive Sizes */
@tinyHeaderSize: 1.3em;
@tinyMobileWidth: @mobileWidth;
@tinyTabletWidth: (@tabletWidth * @tinyRatio);
@tinyComputerWidth: (@computerWidth * @tinyRatio);
@tinyLargeMonitorWidth: (@largeMonitorWidth * @tinyRatio);
@tinyWidescreenMonitorWidth: (@widescreenMonitorWidth * @tinyRatio);
@tinyMobileMargin: 0em 0em 0em -(@tinyMobileWidth / 2);
@tinyTabletMargin: 0em 0em 0em -(@tinyTabletWidth / 2);
@tinyComputerMargin: 0em 0em 0em -(@tinyComputerWidth / 2);
@tinyLargeMonitorMargin: 0em 0em 0em -(@tinyLargeMonitorWidth / 2);
@tinyWidescreenMonitorMargin: 0em 0em 0em -(@tinyWidescreenMonitorWidth / 2);
@smallHeaderSize: 1.3em;
@smallMobileWidth: @mobileWidth;
@smallTabletWidth: (@tabletWidth * @smallRatio);

Loading…
Cancel
Save