font size
This commit is contained in:
parent
1d577e4df9
commit
52a86347fa
|
@ -19,6 +19,7 @@
|
||||||
.prettyprint {
|
.prettyprint {
|
||||||
background: $steel;
|
background: $steel;
|
||||||
font-family: $mono-font;
|
font-family: $mono-font;
|
||||||
|
color: $snow;
|
||||||
overflow: hidden;
|
overflow: hidden;
|
||||||
position: relative;
|
position: relative;
|
||||||
padding: 0px;
|
padding: 0px;
|
||||||
|
@ -35,6 +36,8 @@
|
||||||
margin: 0px;
|
margin: 0px;
|
||||||
overflow: auto;
|
overflow: auto;
|
||||||
border-radius: 3px;
|
border-radius: 3px;
|
||||||
|
font-weight: 600;
|
||||||
|
font-size: 14px;
|
||||||
|
|
||||||
li {
|
li {
|
||||||
color: $metal;
|
color: $metal;
|
||||||
|
@ -42,6 +45,7 @@
|
||||||
margin-bottom: 5px;
|
margin-bottom: 5px;
|
||||||
line-height: normal;
|
line-height: normal;
|
||||||
list-style-type: decimal;
|
list-style-type: decimal;
|
||||||
|
font-size: 14px;
|
||||||
|
|
||||||
&:last-child {
|
&:last-child {
|
||||||
margin-bottom: 0px;
|
margin-bottom: 0px;
|
||||||
|
|
Loading…
Reference in New Issue