-
Notifications
You must be signed in to change notification settings - Fork 0
/
style.css
122 lines (99 loc) · 1.61 KB
/
style.css
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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
body {
padding: 0; margin: 0;
background-color: rgb(48, 56, 65);
}
td {
width: 10px;
height: 12px;
background-color: rgb(243, 243, 243);
}
td:hover {
background-color: rgb(160, 160, 160);
}
td.selected {
background-color: rgb(33, 133, 213);
}
#neighborhood {
width: 73px ;
}
#info p{
margin: 0px;
}
#neighborhood p{
margin: 0px;
padding-left: 2px;
margin-left: -32px;
}
#controls p{
margin: 0px;
}
#info a{
color: rgb(33, 133, 213);
}
#defaultCanvas0 {
cursor: default;
}
#container {
width:100%;
text-align:center;
box-shadow: 0 0px 1px 1px #222931;
box-shadow: 0 0px 2px 3px #303841;
background: linear-gradient(#3B444F, #2E363E);
-webkit-user-select: none; /* Chrome all / Safari all */
-moz-user-select: none; /* Firefox all */
-ms-user-select: none; /* IE 10+ */
user-select: none;
}
.left {
float:left;
text-align:left;
padding-left: 10px;
}
.center {
display: inline-block;
margin:0 auto;
}
.right {
float: right;
padding-right: 10px;
text-align: left;
}
#container p.header {
font-size: 20px;
color: #AEB7C1;
}
#cell_rules .header {
margin: 0 0 5px 0;
}
#cell_rules {
color: #EEEEEE;
font-size: 15px;
font-family: Courier New;
font-weight: bold;
cursor: default;
}
#cell_rules span:hover{
color: grey;
cursor: pointer;
}
.lightgreen {
color:lightgreen;
}
#container p{
color: white;
font-size: 14px;
}
p {
font-family: 'Roboto', sans-serif;
text-shadow: 0px -1px 1px #1C232A;
}
.blue {
font-weight: bold;
color: #5CACEC;
}
#known_automata {
margin-top: 10px;
}
#sketch {
height: calc(100% - 100px);
}