Proyectos de Subversion Moodle

// stylelint-disable declaration-no-important, selector-no-qualifying-type, property-no-vendor-prefix

// stylelint-disable declaration-no-important, selector-no-qualifying-type, property-no-vendor-prefix

// Reboot

// Reboot

//

//

// Normalization of HTML elements, manually forked from Normalize.css to remove

// Normalization of HTML elements, manually forked from Normalize.css to remove

// styles targeting irrelevant browsers while applying new styles.

// styles targeting irrelevant browsers while applying new styles.

//

//

// Normalize is licensed MIT. https://github.com/necolas/normalize.css

// Normalize is licensed MIT. https://github.com/necolas/normalize.css

// 3. Correct the line height in all browsers.

// Document

// 4. Prevent adjustments of font size after orientation changes in IE on Windows Phone and in iOS.

//

// 5. Change the default tap highlight to be completely transparent in iOS.

// Change from `box-sizing: content-box` so that `width` is not affected by `padding` or `border`.

*,

*,

// Shim for "new" HTML5 structural elements to display correctly (IE10, older browsers)

    @media (prefers-reduced-motion: no-preference) {

// TODO: remove in v5

      scroll-behavior: smooth;

// stylelint-disable-next-line selector-list-comma-newline-after

    }

article, aside, figcaption, figure, footer, header, hgroup, main, nav, section {

  }

// Body

// Body

//

// interaction that led to the element receiving programmatic focus was a keyboard interaction,

  @include font-size(var(--#{$prefix}body-font-size));

// or the browser has somehow determined that the user is primarily a keyboard user and/or

  line-height: var(--#{$prefix}body-line-height);

// wants focus outlines to always be presented.

  color: var(--#{$prefix}body-color);

// and https://developer.paciellogroup.com/blog/2018/03/focus-visible-and-backwards-compatibility/

  background-color: var(--#{$prefix}body-bg); // 2

// Content grouping

// Content grouping

//

//

}

  border: 0;

// Typography

  @extend %heading;

//

  @include font-size($h4-font-size);

// Typography

}

//

  @extend %heading;

// Remove top margins from headings

  @include font-size($h5-font-size);

//

}

// By default, `<h1>`-`<h6>` all receive top and bottom margins. We nuke the top

// margin for easier control within type scales as it avoids margin collapsing.

  @extend %heading;

// stylelint-disable-next-line selector-list-comma-newline-after

  @include font-size($h6-font-size);

p {

// Abbreviations

//

// 1. Duplicate behavior to the data-* attribute for our tooltip plugin

// Abbreviations

// 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.

//

// 3. Add explicit cursor to indicate changed behavior.

// 1. Add the correct text decoration in Chrome, Edge, Opera, and Safari.

// 4. Remove the bottom border in Firefox 39-.

// 5. Prevent the text-decoration to be skipped.

// Address

abbr[title],

abbr[data-original-title] { // 1

address {

dt {

dt {

  font-weight: $dt-font-weight;

  font-weight: $dt-font-weight;

}

// 1. Undo browser default

  margin-bottom: .5rem;

  margin-bottom: .5rem;

  margin-left: 0; // Undo browser default

}

// Blockquote

blockquote {

// Strong

  margin: 0 0 1rem;

//

b,

  font-weight: $font-weight-bolder; // Add the correct font weight in Chrome, Edge, and Safari

//

}

  color: var(--#{$prefix}highlight-color);

  background-color: var(--#{$prefix}highlight-bg);

small {

}

}

//

// Sub and Sup

// all browsers.

// Prevent `sub` and `sup` elements from affecting the line height in

//

// all browsers.

sub,

sub,

sup {

sup {

  @include font-size(75%);

  position: relative;

  vertical-align: baseline;

  @include font-size($sub-sup-font-size);

  vertical-align: baseline;

sub { bottom: -.25em; }

//

sup { top: -.5em; }

// Links

//

// Links

a {

  color: $link-color;

a {

  text-decoration: $link-decoration;

  color: rgba(var(--#{$prefix}link-color-rgb), var(--#{$prefix}link-opacity, 1));

    text-decoration: $link-hover-decoration;

  &:hover {

  }

    --#{$prefix}link-color-rgb: var(--#{$prefix}link-hover-color-rgb);

}

    text-decoration: $link-hover-decoration;

  }

// It would be more straightforward to just use a[href] in previous block, but that

}

// See https://github.com/twbs/bootstrap/issues/19402

// And undo these styles for placeholder links/named anchors (without href).

a:not([href]):not([class]) {

// It would be more straightforward to just use a[href] in previous block, but that

  color: inherit;

// causes specificity issues in many other styles that are too complex to fix.

  @include hover() {

a:not([href]):not([class]) {

    color: inherit;

  }

pre,

  // Streamline the style when inside anchors to avoid broken underline and more

kbd,

  a > & {

samp {

    color: inherit;

  font-family: $font-family-monospace;

}

}

kbd {

  // Remove browser default top margin

  padding: $kbd-padding-y $kbd-padding-x;

  // making it impossible to interact with the content

  color: $kbd-color;

  background-color: $kbd-bg;

//

  @include border-radius($border-radius-sm);

//

  kbd {

figure {

    @include font-size(1em);

  margin: 0 0 1rem;

}

}

//

//

// Images and content

// Apply a consistent margin strategy (matches our type styles).

img {

figure {

  vertical-align: middle;

  margin: 0 0 1rem;

  border-style: none; // Remove the border on images inside links in IE 10-.

}

  font-weight: $table-th-font-weight; // 1

  font-weight: $table-th-font-weight; // 1

  text-align: inherit; // 2

  text-align: inherit; // 2

  text-align: -webkit-match-parent; // 3

  text-align: -webkit-match-parent; // 3

}

}

//

// Forms

//

  // Allow labels to use `margin` for spacing.

  display: inline-block;

label {

// Remove the default `border-radius` that macOS Chrome adds.

// Remove the default `border-radius` that macOS Chrome adds.

//

// See https://github.com/twbs/bootstrap/issues/24093

// Details at https://github.com/twbs/bootstrap/issues/24093

button:focus:not(:focus-visible) {

button:focus:not(:focus-visible) {

  outline: 0;

  outline: 0;

}

// 1. Remove the margin in Firefox and Safari

input,

input,

button,

button,

select,

select,

textarea {

textarea {

  margin: 0; // Remove the margin in Firefox and Safari

  margin: 0; // 1

  font-family: inherit;

  font-family: inherit;

  @include font-size(inherit);

  @include font-size(inherit);

  overflow: visible; // Show the overflow in Edge

}

}

button,

button,

  text-transform: none; // Remove the inheritance of text transform in Firefox

select {

}

  text-transform: none;

}

// Set the cursor for non-`<button>` buttons

// Set the cursor for non-`<button>` buttons

//

//

// Details at https://github.com/twbs/bootstrap/pull/30562

// Details at https://github.com/twbs/bootstrap/pull/30562

[role="button"] {

// Remove the inheritance of word-wrap in Safari.

//

  // Undo the opacity change from Chrome

// Details at https://github.com/twbs/bootstrap/issues/24990

// See https://stackoverflow.com/a/54997118

select {

  word-wrap: normal;

[list]:not([type="date"]):not([type="datetime-local"]):not([type="month"]):not([type="week"]):not([type="time"])::-webkit-calendar-picker-indicator {

}

// 1. Prevent a WebKit bug where (2) destroys native `audio` and `video`

//    controls in Android 4.

// 1. Prevent a WebKit bug where (2) destroys native `audio` and `video`

// 2. Correct the inability to style clickable types in iOS and Safari.

//    controls in Android 4.

// 3. Opinionated: add "hand" cursor to non-disabled button elements.

button,

@if $enable-pointer-cursor-for-buttons {

[type="reset"],

  button,

[type="submit"] {

  [type="button"],

  -webkit-appearance: button; // 2

  [type="reset"],

  }

      cursor: pointer; // 3

}

    }

  }

  border-style: none;

input[type="checkbox"] {

  box-sizing: border-box; // 1. Add the correct box sizing in IE 10-

textarea {

fieldset {

//    unlike e.g. `<div>`s, which have `min-width: 0;` by default.

  // So we reset that to ensure fieldsets behave more like a standard block element.

fieldset {

  // and https://html.spec.whatwg.org/multipage/#the-fieldset-and-legend-elements

  padding: 0; // 2

  // Reset the default outline behavior of fieldsets so they don't affect page layout.

  margin: 0; // 2

  border: 0;

// 1. By using `float: left`, the legend will behave like a block element.

// 1. Correct the text wrapping in Edge and IE.

legend {

  display: block;

}

  margin-bottom: .5rem;

// Fix height of inputs with a type of datetime-local, date, month, week, or time

  @include font-size(1.5rem);

// See https://github.com/twbs/bootstrap/issues/18842

  line-height: inherit;

::-webkit-datetime-edit-month-field,

}

}

// Correct the cursor style of increment and decrement buttons in Chrome.

}

  height: auto;

// 1. A few input types should stay LTR

}

// See https://rtlstyling.com/posts/rtl-styling#form-inputs

  -webkit-appearance: none;

// Remove the inner padding in Chrome and Safari on macOS.

// Remove the inner padding in Chrome and Safari on macOS.

::-webkit-search-decoration {

//

  -webkit-appearance: none;

}

[type="search"]::-webkit-search-decoration {

}

  font: inherit; // 1

  -webkit-appearance: button; // 2

// 2. Change font properties to `inherit` in Safari.

::-webkit-file-upload-button {

  font: inherit; // 2

// Summary

  -webkit-appearance: button; // 1

//