2012-01-26 14:53:35 -08:00
|
|
|
// Inline and block code styles
|
|
|
|
code,
|
2013-10-17 21:25:08 +02:00
|
|
|
kbd,
|
2013-08-21 14:08:43 +02:00
|
|
|
pre,
|
|
|
|
samp {
|
2014-12-02 14:02:35 -08:00
|
|
|
font-family: $font-family-monospace;
|
2012-01-26 14:53:35 -08:00
|
|
|
}
|
2012-02-10 23:07:32 -08:00
|
|
|
|
|
|
|
// Inline code
|
2012-01-26 14:53:35 -08:00
|
|
|
code {
|
2016-02-16 22:45:26 -08:00
|
|
|
padding: $code-padding-y $code-padding-x;
|
2016-02-16 22:37:00 -08:00
|
|
|
font-size: $code-font-size;
|
2014-12-02 14:02:35 -08:00
|
|
|
color: $code-color;
|
|
|
|
background-color: $code-bg;
|
2015-06-22 18:53:04 -07:00
|
|
|
@include border-radius($border-radius);
|
2012-01-26 14:53:35 -08:00
|
|
|
}
|
2012-02-10 23:07:32 -08:00
|
|
|
|
2013-12-07 12:18:13 -08:00
|
|
|
// User input typically entered via keyboard
|
|
|
|
kbd {
|
2016-02-16 22:45:26 -08:00
|
|
|
padding: $code-padding-y $code-padding-x;
|
2016-02-16 22:37:00 -08:00
|
|
|
font-size: $code-font-size;
|
2014-12-02 14:02:35 -08:00
|
|
|
color: $kbd-color;
|
|
|
|
background-color: $kbd-bg;
|
|
|
|
@include border-radius($border-radius-sm);
|
2016-01-09 15:26:02 -08:00
|
|
|
@include box-shadow($kbd-box-shadow);
|
2014-04-15 14:12:39 -07:00
|
|
|
|
|
|
|
kbd {
|
|
|
|
padding: 0;
|
|
|
|
font-size: 100%;
|
2015-12-06 12:28:15 -08:00
|
|
|
font-weight: $nested-kbd-font-weight;
|
2014-12-02 14:02:35 -08:00
|
|
|
@include box-shadow(none);
|
2014-04-15 14:12:39 -07:00
|
|
|
}
|
2013-12-07 12:18:13 -08:00
|
|
|
}
|
|
|
|
|
2012-02-10 23:07:32 -08:00
|
|
|
// Blocks of code
|
2012-01-26 14:53:35 -08:00
|
|
|
pre {
|
|
|
|
display: block;
|
2014-07-08 01:02:59 -07:00
|
|
|
margin-top: 0;
|
|
|
|
margin-bottom: 1rem;
|
2016-02-16 22:37:00 -08:00
|
|
|
font-size: $code-font-size;
|
2014-12-02 14:02:35 -08:00
|
|
|
color: $pre-color;
|
2012-01-26 14:53:35 -08:00
|
|
|
|
|
|
|
// Account for some code outputs that place code tags in pre tags
|
|
|
|
code {
|
|
|
|
padding: 0;
|
2013-08-12 11:34:28 -07:00
|
|
|
font-size: inherit;
|
2012-02-04 22:23:20 -08:00
|
|
|
color: inherit;
|
2012-01-26 14:53:35 -08:00
|
|
|
background-color: transparent;
|
2013-10-03 23:15:49 +02:00
|
|
|
border-radius: 0;
|
2012-01-26 14:53:35 -08:00
|
|
|
}
|
|
|
|
}
|
2012-02-10 23:07:32 -08:00
|
|
|
|
|
|
|
// Enable scrollable blocks of code
|
|
|
|
.pre-scrollable {
|
2014-12-02 14:02:35 -08:00
|
|
|
max-height: $pre-scrollable-max-height;
|
2012-02-10 23:07:32 -08:00
|
|
|
overflow-y: scroll;
|
2012-09-30 23:49:26 -07:00
|
|
|
}
|