add Powerline symbols support
This commit is contained in:
parent
3464aea510
commit
b1da5a1211
2 changed files with 8 additions and 3 deletions
BIN
public/Noto Mono for Powerline.ttf
Normal file
BIN
public/Noto Mono for Powerline.ttf
Normal file
Binary file not shown.
|
|
@ -1,3 +1,8 @@
|
|||
@font-face{
|
||||
font-family: 'Noto Mono for Powerline';
|
||||
src: url('Noto Mono for Powerline.ttf');
|
||||
}
|
||||
|
||||
body {
|
||||
font-family: helvetica, sans-serif, arial;
|
||||
font-size: 1em;
|
||||
|
|
@ -163,8 +168,8 @@ a.toggleLog {
|
|||
.terminal {
|
||||
background-color: #000;
|
||||
color: #fff;
|
||||
font-family: courier-new, courier, monospace;
|
||||
font-feature-settings: "liga" 0;
|
||||
font-family: 'Noto Mono for Powerline', courier-new, courier, monospace;
|
||||
#font-feature-settings: "liga" 0;
|
||||
position: relative;
|
||||
}
|
||||
|
||||
|
|
@ -2371,4 +2376,4 @@ a.toggleLog {
|
|||
background-color: #eeeeee;
|
||||
}
|
||||
|
||||
/*# sourceMappingURL=src/webssh2.concat.map */
|
||||
/*# sourceMappingURL=src/webssh2.concat.map */
|
||||
|
|
|
|||
Loading…
Reference in a new issue