gadict: www/tmpl/rst.css@d6413e1d20b0 (annotated)

339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	1	html, body, iframe {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	2	margin: 0px;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	3	padding: 0px;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	4	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	5	.document {
299 1cc50552c3ee Fix text width. Center text. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 298 diff changeset	6	max-width: 800px;
339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	7	margin: .5em auto;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	8	overflow: hidden;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	9	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	10
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	11	.header {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	12	font-size: 1.2em;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	13	text-align: center;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	14	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	15	.header.small {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	16	font-size: 0.8em;
299 1cc50552c3ee Fix text width. Center text. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 298 diff changeset	17	}
300 6b04b083cb79 Highlight TOC. Hide document name from TOC. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 299 diff changeset	18
339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	19	div.contents ul {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	20	max-width: 600px;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	21	margin: 0 auto;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	22	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	23	div.contents ul ul {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	24	margin-left: 1em;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	25	}
300 6b04b083cb79 Highlight TOC. Hide document name from TOC. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 299 diff changeset	26
339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	27	a {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	28	text-decoration:none;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	29	color: hsl(240, 100%, 50%);
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	30	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	31	a:hover { opacity: .5; }
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	32	h1 a {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	33	color: hsla(0, 0%, 0%, .8);
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	34	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	35	h2 a, h3 a, h4 a, .contents a {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	36	color: hsl(0, 100%, 25%);
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	37	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	38	h1 { text-align: center; }
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	39	div > p:first-child:first-letter,
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	40	h2 + p:first-letter,
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	41	h3 + p:first-letter,
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	42	h4 + p:first-letter,
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	43	h5 + p:first-letter {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	44	font-weight: bold;
300 6b04b083cb79 Highlight TOC. Hide document name from TOC. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 299 diff changeset	45	}
6b04b083cb79 Highlight TOC. Hide document name from TOC. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 299 diff changeset	46
339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	47	blockquote {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	48	margin: 1em 0;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	49	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	50	ul, ol {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	51	margin-left: 1em;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	52	padding-left: 1em;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	53	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	54	dl {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	55	margin-left: 1em;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	56	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	57	.formula {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	58	padding: 0 .5em;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	59	background-color: hsl(0, 10%, 95%);
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	60	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	61	div.formula {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	62	border: 1px;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	63	border-left-style: solid;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	64	border-right-style: solid;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	65	border-color: hsl(0, 100%, 25%);
67 5166ffffd608 Add missing style file. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	66	}
339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	67	.literal-block {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	68	margin: 0 0 0 1em;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	69	padding: 5px;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	70	border: 1px;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	71	border-style: solid;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	72	border-color: hsl(0, 100%, 25%);
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	73	background-color: hsl(0, 10%, 95%);
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	74	overflow: auto;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	75	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	76	tt.literal {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	77	outline: 1px dotted orange;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	78	padding: 1px;
279 ba706038b80c Phrase examples. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 67 diff changeset	79	}
339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	80	table { border-collapse:collapse; margin-left:auto; margin-right:auto; }
425 b0e556c2ca95 Fix: table headers use solid border style instead dotted. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 339 diff changeset	81	table, tr, td, th { padding: 3px; border: 1px dotted maroon; background-color: cornsilk; }
426 1edb7766a26e Special class to align column to right. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 425 diff changeset	82	table.right td { text-align: right; }
339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	83
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	84	pre.code.keyword, pre.code.tag {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	85	color: blue;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	86	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	87	pre.code.string, pre.code.preproc {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	88	color: green;
279 ba706038b80c Phrase examples. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 67 diff changeset	89	}
339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	90	pre.code.name.decorator, pre.code.literal {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	91	color: brown;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	92	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	93	pre.code.comment {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	94	color: magenta;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	95	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	96	pre.code span.generic.prompt {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	97	color: magenta;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	98	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	99	pre.code span.generic.output {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	100	color: gray;
279 ba706038b80c Phrase examples. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 67 diff changeset	101	}
ba706038b80c Phrase examples. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 67 diff changeset	102
548 4df5c9016a42 Add table with dictionary size progress. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 426 diff changeset	103	.attention, .caution, .danger, .error, .warning, .important, .hint, .note, .tip, .sidebar {
339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	104	padding: 0px;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	105	margin: 5px 0px;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	106	text-indent: 2em;
279 ba706038b80c Phrase examples. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 67 diff changeset	107	}
548 4df5c9016a42 Add table with dictionary size progress. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 426 diff changeset	108	.hint, .note, .tip, .sidebar { border: green 1px solid; }
339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	109	.warning, .important { border: gold 1px solid; }
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	110	.attention, .caution, .danger, .error { border: red 1px solid; }
548 4df5c9016a42 Add table with dictionary size progress. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 426 diff changeset	111	.attention p.first, .caution p.first, .danger p.first, .error p.first, .warning p.first, .important p.first, .hint p.first, .note p.first, .tip p.first, .sidebar p.first {
339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	112	margin: 0px;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	113	padding: 5px 0px;
279 ba706038b80c Phrase examples. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 67 diff changeset	114	}
548 4df5c9016a42 Add table with dictionary size progress. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 426 diff changeset	115	.hint p.first, .note p.first, .tip p.first, .sidebar p.first { background: rgb(176, 255, 176); }
339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	116	.warning p.first, .important p.first { background: rgb(255, 233, 176); }
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	117	.attention p.first, .caution p.first, .danger p.first, .error p.first { background: rgb(255, 196, 180); }
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	118	.attention p, .caution p, .danger p, .error p, .warning p, .important p, .hint p, .note p, .tip p {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	119	margin: 5px;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	120	}
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	121	.attention pre, .caution pre, .danger pre, .error pre, .warning pre, .important pre, .hint pre, .note pre, .tip pre {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	122	margin: 0 5px 5px 4em;
279 ba706038b80c Phrase examples. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 67 diff changeset	123	}
548 4df5c9016a42 Add table with dictionary size progress. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 426 diff changeset	124	.sidebar {
4df5c9016a42 Add table with dictionary size progress. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 426 diff changeset	125	float: right;
1206 c78ec3bfdeaf Updated CHANGES for release. Fixed floating issue for stacking sidebars. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 705 diff changeset	126	clear: right;
548 4df5c9016a42 Add table with dictionary size progress. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 426 diff changeset	127	}
4df5c9016a42 Add table with dictionary size progress. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 426 diff changeset	128	@media (max-width: 700px) {
4df5c9016a42 Add table with dictionary size progress. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 426 diff changeset	129	.sidebar {
4df5c9016a42 Add table with dictionary size progress. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 426 diff changeset	130	float: none;
4df5c9016a42 Add table with dictionary size progress. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 426 diff changeset	131	}
4df5c9016a42 Add table with dictionary size progress. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 426 diff changeset	132	}
279 ba706038b80c Phrase examples. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 67 diff changeset	133
339 4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	134	.def {
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	135	font-family: monospace;
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	136	color: hsl(120, 100%, 25%);
4d8d46bbe30d Move RST files to separate directory. Build HTML files out of sources Oleksandr Gavenko <gavenkoa@gmail.com> parents: 301 diff changeset	137	}
705 826b71e9fce2 Add removed color classes. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 548 diff changeset	138
826b71e9fce2 Add removed color classes. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 548 diff changeset	139	.cr { color: red; }
826b71e9fce2 Add removed color classes. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 548 diff changeset	140	.cg { color: green; }
826b71e9fce2 Add removed color classes. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 548 diff changeset	141	.cb { color: blue; }
826b71e9fce2 Add removed color classes. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 548 diff changeset	142

author	Oleksandr Gavenko <gavenkoa@gmail.com>
	Mon, 27 Feb 2023 00:55:27 +0200
changeset 1342	d6413e1d20b0
parent 1206	c78ec3bfdeaf
permissions	-rw-r--r--