Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit 6c4e08b

Browse files
committed
Fix minor UI bugs.
1 parent 6ec598b commit 6c4e08b

File tree

1 file changed

+11
-10
lines changed

1 file changed

+11
-10
lines changed

‎src/ui/styles.css

Lines changed: 11 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -77,6 +77,8 @@ select:hover {
7777

7878
.markdown-content {
7979
color: var(--panel_foreground);
80+
background-color: var(--grey-very-dark);
81+
height: 100%;
8082
}
8183
.tab-panel {
8284
display: flex;
@@ -98,23 +100,23 @@ select:hover {
98100
}
99101

100102
.content {
101-
background-color: var(--content-background);
103+
background-color: var(--grey-very-dark);
102104
color: var(--content-font-color);
103105
font-family: var(--content-font-family);
104106
overflow-y: auto;
105107
overflow-x: clip;
108+
padding: 3px;
106109
}
107110

108111
.bottom-right-content {
109112
overflow-y: auto;
110113
}
111114

112-
.tab-content-left {
113-
margin: 5px;
114-
}
115-
116115
.tab-content {
117116
display: none;
117+
height: 100%;
118+
background-color: var(--grey-very-dark);
119+
box-sizing: border-box;
118120
}
119121

120122
.tab-content.active {
@@ -126,13 +128,12 @@ select:hover {
126128
}
127129

128130
.compilation-content {
129-
box-sizing: border-box;/* Add this line */
131+
box-sizing: border-box;
130132
background-color: var(--grey-very-dark);
131133
width: 100%;
132-
white-space: pre-wrap;/* Wraps the text */
133-
word-break: break-all;/* Breaks the words */
134+
white-space: pre-wrap;
135+
word-break: break-all;
134136
margin: 0;
135-
padding: 3px;
136137
}
137138

138139
.tab-separator {
@@ -154,7 +155,7 @@ select:hover {
154155
.panel-col {
155156
display: flex;
156157
flex-direction: column;
157-
overflow: auto;
158+
overflow: hidden;
158159
}
159160

160161
.panel-item {

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /