Upgrade themes

This commit is contained in:
Marcin Kulik 2014-06-30 20:10:44 +02:00
parent 14648f11b7
commit 4aa366d5b8
2 changed files with 8 additions and 10 deletions

View File

@ -52,8 +52,6 @@
text-decoration: underline; }
.asciinema-terminal .italic {
font-style: italic; }
.asciinema-terminal .fg-8, .asciinema-terminal .fg-9, .asciinema-terminal .fg-10, .asciinema-terminal .fg-11, .asciinema-terminal .fg-12, .asciinema-terminal .fg-13, .asciinema-terminal .fg-14, .asciinema-terminal .fg-15 {
font-weight: bold; }
.asciinema-terminal.font-small {
font-size: 12px;
line-height: 16px;

View File

@ -17,19 +17,19 @@
.asciinema-theme-default .bg-6 { background-color: #06989A }
.asciinema-theme-default .fg-7 { color: #D3D7CF }
.asciinema-theme-default .bg-7 { background-color: #D3D7CF }
.asciinema-theme-default .fg-8 { color: #555753 }
.asciinema-theme-default .fg-8 { color: #555753; font-weight: bold }
.asciinema-theme-default .bg-8 { background-color: #555753 }
.asciinema-theme-default .fg-9 { color: #EF2929 }
.asciinema-theme-default .fg-9 { color: #EF2929; font-weight: bold }
.asciinema-theme-default .bg-9 { background-color: #EF2929 }
.asciinema-theme-default .fg-10 { color: #8AE234 }
.asciinema-theme-default .fg-10 { color: #8AE234; font-weight: bold }
.asciinema-theme-default .bg-10 { background-color: #8AE234 }
.asciinema-theme-default .fg-11 { color: #FCE94F }
.asciinema-theme-default .fg-11 { color: #FCE94F; font-weight: bold }
.asciinema-theme-default .bg-11 { background-color: #FCE94F }
.asciinema-theme-default .fg-12 { color: #729FCF }
.asciinema-theme-default .fg-12 { color: #729FCF; font-weight: bold }
.asciinema-theme-default .bg-12 { background-color: #729FCF }
.asciinema-theme-default .fg-13 { color: #AD7FA8 }
.asciinema-theme-default .fg-13 { color: #AD7FA8; font-weight: bold }
.asciinema-theme-default .bg-13 { background-color: #AD7FA8 }
.asciinema-theme-default .fg-14 { color: #34E2E2 }
.asciinema-theme-default .fg-14 { color: #34E2E2; font-weight: bold }
.asciinema-theme-default .bg-14 { background-color: #34E2E2 }
.asciinema-theme-default .fg-15 { color: #EEEEEC }
.asciinema-theme-default .fg-15 { color: #EEEEEC; font-weight: bold }
.asciinema-theme-default .bg-15 { background-color: #EEEEEC }