Substratum/Bool.html at master · JohnNilsson/Substratum · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
<!DOCTYPE html>
<html lang="en">
	<head>
		<meta charset="UTF-8"/>
		<title>WebIDE!</title>
		<style>
			body {
				margin: 0;
				padding: 0;
			}

			ol.expression {
				list-style-type: none;
				padding-left: 0;
				padding-right: 0;
			}


			ol.expression li {
				padding-left: 1em;
				padding-right: 1em;
				text-aling: center;
			}

			li.output {
				border-top: solid;
			}

			.expression {
				padding-top: 0.3em;
				padding-bottom: 0.3em;

				display: inline-block;

				border-radius: .5em;
				-webkid-border-radius: .5em;
				-moz-border-radius: .5em;
				border-style: solid;
				border-width: 1px;

				background-color: #FF8;
			}

			.empty {
				font-style: italic;
			}

			.value {
				font-family: monospace;
				font-weight: bold;
			}

			/*Added to a Drop when it is an valid target for the current drag operation*/
			.yui-dd-drop-active-valid {
				border-radius: .5em;
				-webkid-border-radius: .5em;
				-moz-border-radius: .5em;
				border-color: #F00;
				border-style: solid;
				border-width: 2px;
			}

			/*Given to all Drag Nodes*/
			.yui-dd-draggable {}
			/*Added when a Drag instance is locked*/
			.yui-dd-locked {}
			/*Added while a Drag instance is active*/
			.yui-dd-dragging {}
			/*Given to the Proxy Node*/
			.yui-dd-proxy {}
			/*Given to all Drop Targets*/
			.yui-dd-drop {}
			/*Added when a Drop instance is locked*/
			.yui-dd-drop-locked {}
			/*Added to a Drop when it is an invalid target for the current drag operation*/
			.yui-dd-drop-active-invalid {}
			/*Added when a Drag instance is over this Drop Target*/
			.yui-dd-drop-over {}
		</style>
	</head>
	<body>
		<div id="workspace"/>
		<script src="http://yui.yahooapis.com/3.0.0/build/yui/yui-min.js"></script>
		<script src="Bool.js"></script>
	</body>
</html>