Skip to content
This repository was archived by the owner on Feb 26, 2021. It is now read-only.

Commit cf53f8a

Browse files
committed
fix .item-heading
1 parent 7ab2876 commit cf53f8a

File tree

3 files changed

+13
-6
lines changed

3 files changed

+13
-6
lines changed

lib/view/component/Body.js

Lines changed: 7 additions & 4 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

src/view/component/Body.tsx

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -57,8 +57,11 @@ class Body extends React.Component<Props, void> {
5757
>
5858
<ul className="list-group">{banner.map((item, i) =>
5959
<li className="list-item banner-item" key={i}>
60-
<span><span className="text-info">{item.label}</span> : </span>
61-
<Expr emitter={emitter}>{item.type}</Expr>
60+
<div className="item-heading text-info">{item.label}</div>
61+
<div className="item-colon"><span> : </span></div>
62+
<div className="item-body">
63+
<Expr emitter={emitter}>{item.type}</Expr>
64+
</div>
6265
</li>
6366
)}</ul>
6467
<ul className="list-group">{body.goal.map((item, i) =>

styles/agda-mode.atom-text-editor.less

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -190,6 +190,7 @@
190190

191191
.item-heading {
192192
align-self: flex-start;
193+
white-space: nowrap;
193194
}
194195

195196
.item-body {

0 commit comments

Comments
 (0)