editor: remove metadata editor which is now not needed
[fnpeditor.git] / libs / bootstrap / less / code.less
1 //
2 // Code (inline and blocK)
3 // --------------------------------------------------
4
5
6 // Inline and block code styles
7 code,
8 pre {
9   padding: 0 3px 2px;
10   #font > #family > .monospace;
11   font-size: @baseFontSize - 2;
12   color: @grayDark;
13   .border-radius(3px);
14 }
15
16 // Inline code
17 code {
18   padding: 2px 4px;
19   color: #d14;
20   background-color: #f7f7f9;
21   border: 1px solid #e1e1e8;
22   white-space: nowrap;
23 }
24
25 // Blocks of code
26 pre {
27   display: block;
28   padding: (@baseLineHeight - 1) / 2;
29   margin: 0 0 @baseLineHeight / 2;
30   font-size: @baseFontSize - 1; // 14px to 13px
31   line-height: @baseLineHeight;
32   word-break: break-all;
33   word-wrap: break-word;
34   white-space: pre;
35   white-space: pre-wrap;
36   background-color: #f5f5f5;
37   border: 1px solid #ccc; // fallback for IE7-8
38   border: 1px solid rgba(0,0,0,.15);
39   .border-radius(@baseBorderRadius);
40
41   // Make prettyprint styles more spaced out for readability
42   &.prettyprint {
43     margin-bottom: @baseLineHeight;
44   }
45
46   // Account for some code outputs that place code tags in pre tags
47   code {
48     padding: 0;
49     color: inherit;
50     white-space: pre;
51     white-space: pre-wrap;
52     background-color: transparent;
53     border: 0;
54   }
55 }
56
57 // Enable scrollable blocks of code
58 .pre-scrollable {
59   max-height: 340px;
60   overflow-y: scroll;
61 }