Commit a7393d534106f3a15c66934a5bbb425612286f84 - Wunnel

Make the display container a CSS flex container. Chris Pressey 7 years ago

1 changed file(s) with 27 addition(s) and 19 deletion(s). Raw diff Collapse all Expand all

+27

-19

impl/wunnel.js/demo/wunnel.html less more

2	2	<meta charset="utf-8">
3	3	<title>Wunnel</title>
4	4	<style>
	5	#display_container {
	6	display: flex;
	7	}
5	8	#program_display {
6		color: white;
7		background: blue;
8		border: 3px solid blue;
9		font-family: monospace;
10		display: inline-block;
	9	color: white;
	10	background: blue;
	11	border: 3px solid blue;
	12	font-family: monospace;
	13	display: inline-block;
	14	flex: 1 1 auto;
11	15	}
12	16	#editor {
13		display: inline-block;
	17	display: inline-block;
	18	flex: 1 1 auto;
14	19	}
15	20	#state_display {
16		margin-left: 1em;
17		display: inline-block;
	21	margin-left: 1em;
	22	display: inline-block;
	23	flex: 0 1 auto;
18	24	}
19	25	#op_table_display {
20		color: black;
21		background: white;
22		border: 3px solid red;
23		font-family: monospace;
24		text-align: center;
	26	color: black;
	27	background: white;
	28	border: 3px solid red;
	29	font-family: monospace;
	30	text-align: center;
25	31	}
26	32	#tape_display {
27		border: 1px solid black;
	33	border: 1px solid black;
28	34	}
29	35	#output {
30		color: white;
31		background: #008000;
32		border: 3px solid #008000;
33		font-family: monospace;
	36	color: white;
	37	background: #008000;
	38	border: 3px solid #008000;
	39	font-family: monospace;
34	40	}
35		#canvas { border: 1px solid blue; display: none; }
	41	#canvas {
	42	border: 1px solid blue; display: none;
	43	}
36	44	</style>
37	45	</head>
38	46	<body>