table-oriented-programming/TOP-toc.css at main · wayland/table-oriented-programming · 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
@media screen and (max-width: 1000px) {
	#table-of-contents {
		display: none;
	}
}

@media screen and (min-width: 1000px) {
	#table-of-contents {
		display: block;
		z-index: 1;
/*		margin-top: 20pt; */
/*		border-width: 1px;
		border-radius: 4pt;
		border-color: var(--blockquote-border-color);
		border-style: solid; */
/*		background-color: #f2f2f2; */
/*		padding-left: 5pt; */

		grid-column-start: 1;
	}

	#table-of-contents ul {
		list-style-type: none;
		margin: 0;
		padding-left: 5pt;
		text-align: left;
	}

	#table-of-contents ul li {
		padding: 6pt 0pt;
	}

	#table-of-contents ul li a {
		color: black;
	}

	#table-of-contents ul li a:link {
		text-decoration-style: dotted;
	}

	#table-of-contents ul li a:visited {
		text-decoration-style: dashed;
	}

	#table-of-contents ul li a:hover {
		text-decoration-style: solid;
	}
}

.left-column, .right-column {
	margin: 4pt;
	overflow-y: scroll;
}

.left-column ul {
/*	list-style-type: none;	 */
	padding: 5pt;
}