📄 listing12-20_polish.css_extendingstyles
字号:
/* Extending styles can save you a lot of work
and allows you to change many settings at once
in one single place.
Beware of image backgrounds and the like, however.
These are instantiated several times when they
are defined in a parent style.
Better define a background that is used several times
in the "backgrounds" section and reference it in
the parent style.
*/
.mainScreen {
margin: 10;
font-color: black;
font-size: medium;
font-style: italic;
background-color: gray;
}
.highscoreScreen extends mainScreen {
font-color: white;
background-color: black;
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -