diff --git a/src/main.tsx b/src/main.tsx index ebcda919..3752cb5d 100644 --- a/src/main.tsx +++ b/src/main.tsx @@ -359,6 +359,7 @@ class LineCmd extends React.Component<{sw : ScreenWindow, line : LineType, width let lineNumStr = (line.linenumtemp ? "~" : "") + String(line.linenum); return (
+
{lineNumStr} diff --git a/src/model.ts b/src/model.ts index 88f121cc..997f3822 100644 --- a/src/model.ts +++ b/src/model.ts @@ -17,7 +17,7 @@ const MinTermCols = 10; const MaxTermCols = 1024; function widthToCols(width : number) : number { - let cols = Math.trunc((width - 25) / DefaultCellWidth) - 1; + let cols = Math.trunc((width - 32) / DefaultCellWidth) - 1; cols = boundInt(cols, MinTermCols, MaxTermCols); return cols; } diff --git a/src/sh2.less b/src/sh2.less index 90139ff1..73040e22 100644 --- a/src/sh2.less +++ b/src/sh2.less @@ -30,6 +30,33 @@ @soft-blue: #729fcf; +@font-face { + font-family: 'JetBrains Mono'; + font-style: normal; + font-weight: 200; + src: local(''), + url('../static/fonts/jetbrains-mono-v13-latin-200.woff2') format('woff2'), + url('../static/fonts/jetbrains-mono-v13-latin-200.woff') format('woff'); +} +/* jetbrains-mono-regular - latin */ +@font-face { + font-family: 'JetBrains Mono'; + font-style: normal; + font-weight: 400; + src: local(''), + url('../static/fonts/jetbrains-mono-v13-latin-regular.woff2') format('woff2'), + url('../static/fonts/jetbrains-mono-v13-latin-regular.woff') format('woff'); +} +/* jetbrains-mono-700 - latin */ +@font-face { + font-family: 'JetBrains Mono'; + font-style: normal; + font-weight: 700; + src: local(''), + url('../static/fonts/jetbrains-mono-v13-latin-700.woff2') format('woff2'), + url('../static/fonts/jetbrains-mono-v13-latin-700.woff') format('woff'); +} + .mono-font(@size: inherit, @weight: inherit) { font-family: 'JetBrains Mono', monospace; font-size: @size; @@ -449,8 +476,8 @@ html, body, #main { } .line { - padding: 10px 5px 5px 5px; margin: 0px 5px 5px 5px; + padding: 10px 5px 5px 12px; display: flex; line-height: 1.25; border-top: 1px solid #777; @@ -460,10 +487,31 @@ html, body, #main { &:nth-child(2) { margin: 0px 5px 5px 5px; - padding: 0px 5px 5px 5px; + padding: 0px 5px 5px 12px; border-top: none; } + .focus-indicator { + position: absolute; + display: none; + width: 5px; + border-radius: 3px; + height: calc(100% - 20px); + top: 10px; + left: 0; + z-index: 10; + + &.selected { + display: block; + background-color: #666; + } + + &.active, &.active.selected { + display: block; + background-color: @tab-blue; + } + } + .avatar { height: 38px; width: 38px; @@ -743,7 +791,7 @@ body .xterm .xterm-viewport { top: 5px; left: 20px; background-color: black; - .mono-font(12px, 600); + .mono-font(12px, 700); color: @soft-blue; padding-bottom: 4px; display: flex; @@ -829,7 +877,7 @@ body .xterm .xterm-viewport { } .info-title { - .mono-font(14px, 600); + .mono-font(14px, 700); color: @soft-blue; padding-bottom: 2px; } @@ -858,7 +906,7 @@ body .xterm .xterm-viewport { } .info-error { - .mono-font(14px, 600); + .mono-font(14px, 700); color: @term-red; padding-bottom: 2px; } @@ -975,7 +1023,7 @@ input[type=checkbox] { } .text-button { - .mono-font(12px, 600); + .mono-font(12px, 700); color: @term-white; cursor: pointer; background-color: #171717; @@ -1204,7 +1252,7 @@ input[type=checkbox] { } .monofont-bold { - .mono-font(inherit, 600); + .mono-font(inherit, 700); } .sc-modal { diff --git a/static/fonts/jetbrains-mono-v13-latin-200.woff b/static/fonts/jetbrains-mono-v13-latin-200.woff new file mode 100644 index 00000000..2b8eeac6 Binary files /dev/null and b/static/fonts/jetbrains-mono-v13-latin-200.woff differ diff --git a/static/fonts/jetbrains-mono-v13-latin-200.woff2 b/static/fonts/jetbrains-mono-v13-latin-200.woff2 new file mode 100644 index 00000000..d23f9b05 Binary files /dev/null and b/static/fonts/jetbrains-mono-v13-latin-200.woff2 differ diff --git a/static/fonts/jetbrains-mono-v13-latin-700.woff b/static/fonts/jetbrains-mono-v13-latin-700.woff new file mode 100644 index 00000000..78af4538 Binary files /dev/null and b/static/fonts/jetbrains-mono-v13-latin-700.woff differ diff --git a/static/fonts/jetbrains-mono-v13-latin-700.woff2 b/static/fonts/jetbrains-mono-v13-latin-700.woff2 new file mode 100644 index 00000000..5737b146 Binary files /dev/null and b/static/fonts/jetbrains-mono-v13-latin-700.woff2 differ diff --git a/static/fonts/jetbrains-mono-v13-latin-regular.woff b/static/fonts/jetbrains-mono-v13-latin-regular.woff new file mode 100644 index 00000000..f80359f7 Binary files /dev/null and b/static/fonts/jetbrains-mono-v13-latin-regular.woff differ diff --git a/static/fonts/jetbrains-mono-v13-latin-regular.woff2 b/static/fonts/jetbrains-mono-v13-latin-regular.woff2 new file mode 100644 index 00000000..de8b746b Binary files /dev/null and b/static/fonts/jetbrains-mono-v13-latin-regular.woff2 differ diff --git a/static/index.html b/static/index.html index 3e1f2523..e028e2d1 100644 --- a/static/index.html +++ b/static/index.html @@ -2,13 +2,10 @@ - - -