micma/style.css at master · opensofias/micma · 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
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
body, button, input, select
{
	font-size: 16pt;
	font-family: "Source Serif Pro", "Computer Modern", Times, "Times New Roman", serif;
	font-weight: 200;
	outline: none;
	color: #000;
	background-color: #fff
}

body { margin: 1em 1em 4em 1em; }

button, input, select
{
	border: none;
	padding: 0;
	margin: 2pt;
}

button
{
	border-top: 4pt solid #80ff80;
	border-bottom: 4pt solid #80ff80;
	cursor: pointer;
}

input
{
	background: none;
	border: none;
	border-top: 4pt solid #80ffff;
	border-bottom: 4pt solid #80ffff;
}

select
{
	border-top: 4pt solid #ffff80;
	border-bottom: 4pt solid #ffff80;
}

button:hover { background-color: #E0ffE0; }
input:hover { background-color: #E0ffff; }
select:hover { background-color: #ffffE0; }


button:active
{
	color: #fff;
	background-color: #000;
}

strong { font-weight: bolder }

head, title { display: block }

title
{
	font-family: "Source Serif Pro", "Computer Modern", Times, "Times New Roman", serif;
	text-align: right;
	position: fixed;
	padding: 8pt;
	right: 0;
	bottom: 0;
	margin: 0;
	background-color: #fff;
	color: #000;
	font-weight: 200;
	font-size: 24pt;
	opacity: .5;
}

h1, h2, h3, h4, h5, h6
{
	position: sticky; top:0;
	margin-top: .25em;
	margin-bottom: .25em;
	width: 100%;
	font-weight: inherit;
	background-color: rgba(255,255,255,.75)
}

h1 {font-size: 2em}

#magma-generator { display: none } /* hidden by default, kinda */
#magma-generator header { display: flex }
#magma-generator input { flex-grow: 1 }

.listing
{
	display: flex;
	flex-wrap: wrap;
}

.listing.collapsed > * { display : none }
.listing.collapsed > *:nth-child(1) { display : block }

.operator
{
	margin-right: .5em;
	margin-bottom: .5em;
}

.elements ol
{
	width: 100%;
	list-style-type: none;
	padding: 0;
	margin: 0 0 1em 0;
	display: flex;
}

.elements .new { background-color: #e0fff0; }

.operator th, .operator td, .elements li
{
	padding: 0;
	text-align: center;
	height:1em;
	width:1em;
	line-height: 1em;
}