phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

move exercise statement #91

Browse Source
This commit is contained in:
Jon Eugster
2023-08-28 11:16:55 +02:00
parent 8be7f2f17b
commit 764ed558e7
2 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
client/src/components/infoview/main.tsx
+1 -1
View File
@@ -411,8 +411,8 @@ export function CommandLineInterface(props: { world: string, level: number, data
return <div className="commandline-interface"> return <div className="commandline-interface">
<div className="content" ref={proofPanelRef}> <div className="content" ref={proofPanelRef}>
<ExerciseStatement data={props.data} />
<div className="tmp-pusher"></div> <div className="tmp-pusher"></div>
<ExerciseStatement data={props.data} />
{proof.length ? {proof.length ?
<> <>
{proof.map((step, i) => { {proof.map((step, i) => {
client/src/components/level.css
+7
View File
@@ -316,3 +316,10 @@ td code {
.menu.dropdown .svg-inline--fa { .menu.dropdown .svg-inline--fa {
width: 1.8rem; width: 1.8rem;
} }
.tmp-pusher {
background-color: #eee;
margin-left: -0.5em;
margin-right: -0.5em;
margin-top: -0.5em;
}