An option to control text size.

  • Resolved ayuschjain

    (@ayuschjain)


    6 years ago

    I have a lot of code on my site. Can you please add an option to control text size? Current text size is way too big.

    The page I need help with: [log in to see the link]

Viewing 3 replies - 1 through 3 (of 3 total)
  • Plugin Author Vicky Agravat

    (@vickyagravat)

    6 years ago

    Hello @ayuschjain

    The font-size is inherited from theme you have used…

    So, basically we said that plugin not set font-size.

    But, if you think it is too big you can set it as you want.
    using following css.

    .code-block .CodeMirror {
    font-size: .8em; // here you can set what you want.
}

    Thank you.

    Anonymous User 5730883

    (@anonymized-5730883)

    5 years, 11 months ago

    @vickyagravat How about changing background color and text size of the label? The bright red is jarring and I’d like to make the label text size smaller as well. How would I go about modifying these elements?

    Plugin Author Vicky Agravat

    (@vickyagravat)

    5 years, 11 months ago

    Hello @seventhaxis 

    
.CodeMirror-panel .info-panel .language.html {
    background: #f1662a; // this is background color, change as you want
    font-size: .8em; // this is font size, you can set what you want.
}

    you can change .html with your language name.

Viewing 3 replies - 1 through 3 (of 3 total)

The topic ‘An option to control text size.’ is closed to new replies.