2012-01-26 23:53:35 +01: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 23:02:35 +01:00
|
|
|
font-family: $font-family-monospace;
|
2012-01-26 23:53:35 +01:00
|
|
|
}
|
2012-02-11 08:07:32 +01:00
|
|
|
|
|
|
|
// Inline code
|
2012-01-26 23:53:35 +01:00
|
|
|
code {
|
2014-07-08 10:02:59 +02:00
|
|
|
padding: .2rem .4rem;
|
2013-01-16 02:55:14 +01:00
|
|
|
font-size: 90%;
|
2014-12-02 23:02:35 +01:00
|
|
|
color: $code-color;
|
|
|
|
background-color: $code-bg;
|
2015-06-23 03:53:04 +02:00
|
|
|
@include border-radius($border-radius);
|
2012-01-26 23:53:35 +01:00
|
|
|
}
|
2012-02-11 08:07:32 +01:00
|
|
|
|
2013-12-07 21:18:13 +01:00
|
|
|
// User input typically entered via keyboard
|
|
|
|
kbd {
|
2014-07-08 10:02:59 +02:00
|
|
|
padding: .2rem .4rem;
|
2013-12-07 21:18:13 +01:00
|
|
|
font-size: 90%;
|
2014-12-02 23:02:35 +01:00
|
|
|
color: $kbd-color;
|
|
|
|
background-color: $kbd-bg;
|
|
|
|
@include border-radius($border-radius-sm);
|
2016-01-10 00:26:02 +01:00
|
|
|
@include box-shadow($kbd-box-shadow);
|
2014-04-15 23:12:39 +02:00
|
|
|
|
|
|
|
kbd {
|
|
|
|
padding: 0;
|
|
|
|
font-size: 100%;
|
2015-12-06 21:28:15 +01:00
|
|
|
font-weight: $nested-kbd-font-weight;
|
2014-12-02 23:02:35 +01:00
|
|
|
@include box-shadow(none);
|
2014-04-15 23:12:39 +02:00
|
|
|
}
|
2013-12-07 21:18:13 +01:00
|
|
|
}
|
|
|
|
|
2012-02-11 08:07:32 +01:00
|
|
|
// Blocks of code
|
2012-01-26 23:53:35 +01:00
|
|
|
pre {
|
|
|
|
display: block;
|
2014-07-08 10:02:59 +02:00
|
|
|
margin-top: 0;
|
|
|
|
margin-bottom: 1rem;
|
2014-07-08 08:36:40 +02:00
|
|
|
font-size: 90%;
|
2014-12-02 23:02:35 +01:00
|
|
|
color: $pre-color;
|
2012-01-26 23:53:35 +01:00
|
|
|
|
|
|
|
// Account for some code outputs that place code tags in pre tags
|
|
|
|
code {
|
|
|
|
padding: 0;
|
2013-08-12 20:34:28 +02:00
|
|
|
font-size: inherit;
|
2012-02-05 07:23:20 +01:00
|
|
|
color: inherit;
|
2012-01-26 23:53:35 +01:00
|
|
|
background-color: transparent;
|
2013-10-03 23:15:49 +02:00
|
|
|
border-radius: 0;
|
2012-01-26 23:53:35 +01:00
|
|
|
}
|
|
|
|
}
|
2012-02-11 08:07:32 +01:00
|
|
|
|
|
|
|
// Enable scrollable blocks of code
|
|
|
|
.pre-scrollable {
|
2014-12-02 23:02:35 +01:00
|
|
|
max-height: $pre-scrollable-max-height;
|
2012-02-11 08:07:32 +01:00
|
|
|
overflow-y: scroll;
|
2012-10-01 08:49:26 +02:00
|
|
|
}
|