Fist version of LPeg on GIT

LPeg repository is being moved to git. Past versions won't be moved; they are still available in RCS.
author: Roberto Ierusalimschy <roberto@inf.puc-rio.br> 2019-02-20 10:13:46 -0300
committer: Roberto Ierusalimschy <roberto@inf.puc-rio.br> 2019-02-20 10:13:46 -0300
commit: e08e5df853560de6482d84066a7accc6a18de545 (patch)
tree: ee19686bb35da90709a32ed24bf7855de1a3946a /doc.css
download: lpeg-e08e5df853560de6482d84066a7accc6a18de545.tar.gz
lpeg-e08e5df853560de6482d84066a7accc6a18de545.tar.bz2
lpeg-e08e5df853560de6482d84066a7accc6a18de545.zip
1 files changed, 223 insertions, 0 deletions
diff --git a/doc.css b/doc.css
new file mode 100644
index 0000000..3770e4e
--- /dev/null
+++ b/doc.css
@@ -0,0 +1,223 @@
+body { 
+    margin-left: 1em; 
+    margin-right: 1em; 
+    font-family: arial, helvetica, geneva, sans-serif;
+        background-color:#ffffff; margin:0px;
+}
+code {
+    font-family: "Andale Mono", monospace; 
+}
+tt {
+    font-family: "Andale Mono", monospace; 
+}
+body, td, th { font-size: 11pt; }
+h1, h2, h3, h4 { margin-left: 0em; }
+textarea, pre, tt { font-size:10pt; }
+body, td, th { color:#000000; }
+small { font-size:0.85em; }
+h1 { font-size:1.5em; }
+h2 { font-size:1.25em; }
+h3 { font-size:1.15em; }
+h4 { font-size:1.06em; }
+a:link { font-weight:bold; color: #004080; text-decoration: none; }
+a:visited { font-weight:bold; color: #006699; text-decoration: none; }
+a:link:hover { text-decoration:underline; }
+hr { color:#cccccc }
+img { border-width: 0px; }
+h3 { padding-top: 1em; }
+p { margin-left: 1em; }
+p.name { 
+    font-family: "Andale Mono", monospace; 
+    padding-top: 1em;
+    margin-left: 0em; 
+}
+blockquote { margin-left: 3em; }
+.example {
+    background-color: rgb(245, 245, 245);
+    border-top-width: 1px;
+    border-right-width: 1px;
+    border-bottom-width: 1px;
+    border-left-width: 1px;
+    border-top-style: solid;
+    border-right-style: solid;
+    border-bottom-style: solid;
+    border-left-style: solid;
+    border-top-color: silver;
+    border-right-color: silver;
+    border-bottom-color: silver;
+    border-left-color: silver;
+    padding: 1em;
+    margin-left: 1em;
+    margin-right: 1em;
+    font-family: "Andale Mono", monospace; 
+    font-size: smaller;
+}
+hr { 
+    margin-left: 0em;
+        background: #00007f; 
+        border: 0px;
+        height: 1px;
+}
+ul { list-style-type: disc; }
+table.index { border: 1px #00007f; }
+table.index td { text-align: left; vertical-align: top; }
+table.index ul { padding-top: 0em; margin-top: 0em; }
+table {
+    border: 1px solid black;
+        border-collapse: collapse;
+    margin-left: auto;
+    margin-right: auto;
+}
+th {
+    border: 1px solid black;
+    padding: 0.5em;
+}
+td {
+    border: 1px solid black;
+    padding: 0.5em;
+}
+div.header, div.footer { margin-left: 0em; }
+#container
+{
+        margin-left: 1em;
+        margin-right: 1em;
+        background-color: #f0f0f0;
+}
+#product
+{
+        text-align: center;
+        border-bottom: 1px solid #cccccc;
+        background-color: #ffffff;
+}
+#product big {
+        font-size: 2em;
+}
+#product_logo
+{
+}
+#product_name
+{
+}
+#product_description
+{
+}
+#main
+{
+        background-color: #f0f0f0;
+        border-left: 2px solid #cccccc;
+}
+#navigation
+{
+        float: left;
+        width: 12em;
+        margin: 0;
+        vertical-align: top;
+        background-color: #f0f0f0;
+        overflow:visible;
+}
+#navigation h1 {
+        background-color:#e7e7e7;
+        font-size:1.1em;
+        color:#000000;
+        text-align:left;
+        margin:0px;
+        padding:0.2em;
+        border-top:1px solid #dddddd;
+        border-bottom:1px solid #dddddd;
+}
+#navigation ul
+{
+        font-size:1em;
+        list-style-type: none;
+        padding: 0;
+        margin: 1px;
+}
+#navigation li
+{
+        text-indent: -1em;
+        margin: 0em 0em 0em 0.5em;
+        display: block;
+        padding: 3px 0px 0px 12px;
+}
+#navigation li li a
+{
+        padding: 0px 3px 0px -1em;
+}
+#content
+{
+        margin-left: 12em;
+        padding: 1em;
+        border-left: 2px solid #cccccc;
+        border-right: 2px solid #cccccc;
+        background-color: #ffffff;
+}
+#about
+{
+        clear: both;
+        margin: 0;
+        padding: 5px;
+        border-top: 2px solid #cccccc;
+        background-color: #ffffff;
+}
+@media print {
+        body { 
+                font: 10pt "Times New Roman", "TimeNR", Times, serif;
+        }
+        a { font-weight:bold; color: #004080; text-decoration: underline; }
+        
+        #main   {               background-color: #ffffff;              border-left: 0px;       }       
+        #container      {               margin-left: 2%;                margin-right: 2%;               background-color: #ffffff;      }
+        
+        #content        {               margin-left: 0px;               padding: 1em;           border-left: 0px;               border-right: 0px;              background-color: #ffffff;      }
+        
+        #navigation     {               display: none;
+        }
+        
+        #product_logo
+        {
+                display: none;
+        }
+        #about img
+        {
+                display: none;
+        }
+        .example {
+                font-family: "Andale Mono", monospace; 
+                font-size: 8pt;
+                page-break-inside: avoid;
+        }
+}
author	Roberto Ierusalimschy <roberto@inf.puc-rio.br>	2019-02-20 10:13:46 -0300
committer	Roberto Ierusalimschy <roberto@inf.puc-rio.br>	2019-02-20 10:13:46 -0300
commit	e08e5df853560de6482d84066a7accc6a18de545 (patch)
tree	ee19686bb35da90709a32ed24bf7855de1a3946a /doc.css
download	lpeg-e08e5df853560de6482d84066a7accc6a18de545.tar.gz lpeg-e08e5df853560de6482d84066a7accc6a18de545.tar.bz2 lpeg-e08e5df853560de6482d84066a7accc6a18de545.zip

diff --git a/doc.css b/doc.css new file mode 100644 index 0000000..3770e4e --- /dev/null +++ b/doc.css
@@ -0,0 +1,223 @@
	1	body {
	2	margin-left: 1em;
	3	margin-right: 1em;
	4	font-family: arial, helvetica, geneva, sans-serif;
	5	background-color:#ffffff; margin:0px;
	6	}
	7
	8	code {
	9	font-family: "Andale Mono", monospace;
	10	}
	11
	12	tt {
	13	font-family: "Andale Mono", monospace;
	14	}
	15
	16	body, td, th { font-size: 11pt; }
	17
	18	h1, h2, h3, h4 { margin-left: 0em; }
	19
	20	textarea, pre, tt { font-size:10pt; }
	21	body, td, th { color:#000000; }
	22	small { font-size:0.85em; }
	23	h1 { font-size:1.5em; }
	24	h2 { font-size:1.25em; }
	25	h3 { font-size:1.15em; }
	26	h4 { font-size:1.06em; }
	27
	28	a:link { font-weight:bold; color: #004080; text-decoration: none; }
	29	a:visited { font-weight:bold; color: #006699; text-decoration: none; }
	30	a:link:hover { text-decoration:underline; }
	31	hr { color:#cccccc }
	32	img { border-width: 0px; }
	33
	34
	35	h3 { padding-top: 1em; }
	36
	37	p { margin-left: 1em; }
	38
	39	p.name {
	40	font-family: "Andale Mono", monospace;
	41	padding-top: 1em;
	42	margin-left: 0em;
	43	}
	44
	45	blockquote { margin-left: 3em; }
	46
	47	.example {
	48	background-color: rgb(245, 245, 245);
	49	border-top-width: 1px;
	50	border-right-width: 1px;
	51	border-bottom-width: 1px;
	52	border-left-width: 1px;
	53	border-top-style: solid;
	54	border-right-style: solid;
	55	border-bottom-style: solid;
	56	border-left-style: solid;
	57	border-top-color: silver;
	58	border-right-color: silver;
	59	border-bottom-color: silver;
	60	border-left-color: silver;
	61	padding: 1em;
	62	margin-left: 1em;
	63	margin-right: 1em;
	64	font-family: "Andale Mono", monospace;
	65	font-size: smaller;
	66	}
	67
	68
	69	hr {
	70	margin-left: 0em;
	71	background: #00007f;
	72	border: 0px;
	73	height: 1px;
	74	}
	75
	76	ul { list-style-type: disc; }
	77
	78	table.index { border: 1px #00007f; }
	79	table.index td { text-align: left; vertical-align: top; }
	80	table.index ul { padding-top: 0em; margin-top: 0em; }
	81
	82	table {
	83	border: 1px solid black;
	84	border-collapse: collapse;
	85	margin-left: auto;
	86	margin-right: auto;
	87	}
	88	th {
	89	border: 1px solid black;
	90	padding: 0.5em;
	91	}
	92	td {
	93	border: 1px solid black;
	94	padding: 0.5em;
	95	}
	96	div.header, div.footer { margin-left: 0em; }
	97
	98	#container
	99	{
	100	margin-left: 1em;
	101	margin-right: 1em;
	102	background-color: #f0f0f0;
	103	}
	104
	105	#product
	106	{
	107	text-align: center;
	108	border-bottom: 1px solid #cccccc;
	109	background-color: #ffffff;
	110	}
	111
	112	#product big {
	113	font-size: 2em;
	114	}
	115
	116	#product_logo
	117	{
	118	}
	119
	120	#product_name
	121	{
	122	}
	123
	124	#product_description
	125	{
	126	}
	127
	128	#main
	129	{
	130	background-color: #f0f0f0;
	131	border-left: 2px solid #cccccc;
	132	}
	133
	134	#navigation
	135	{
	136	float: left;
	137	width: 12em;
	138	margin: 0;
	139	vertical-align: top;
	140	background-color: #f0f0f0;
	141	overflow:visible;
	142	}
	143
	144	#navigation h1 {
	145	background-color:#e7e7e7;
	146	font-size:1.1em;
	147	color:#000000;
	148	text-align:left;
	149	margin:0px;
	150	padding:0.2em;
	151	border-top:1px solid #dddddd;
	152	border-bottom:1px solid #dddddd;
	153	}
	154
	155	#navigation ul
	156	{
	157	font-size:1em;
	158	list-style-type: none;
	159	padding: 0;
	160	margin: 1px;
	161	}
	162
	163	#navigation li
	164	{
	165	text-indent: -1em;
	166	margin: 0em 0em 0em 0.5em;
	167	display: block;
	168	padding: 3px 0px 0px 12px;
	169	}
	170
	171	#navigation li li a
	172	{
	173	padding: 0px 3px 0px -1em;
	174	}
	175
	176	#content
	177	{
	178	margin-left: 12em;
	179	padding: 1em;
	180	border-left: 2px solid #cccccc;
	181	border-right: 2px solid #cccccc;
	182	background-color: #ffffff;
	183	}
	184
	185	#about
	186	{
	187	clear: both;
	188	margin: 0;
	189	padding: 5px;
	190	border-top: 2px solid #cccccc;
	191	background-color: #ffffff;
	192	}
	193
	194	@media print {
	195	body {
	196	font: 10pt "Times New Roman", "TimeNR", Times, serif;
	197	}
	198	a { font-weight:bold; color: #004080; text-decoration: underline; }
	199
	200	#main { background-color: #ffffff; border-left: 0px; }
	201	#container { margin-left: 2%; margin-right: 2%; background-color: #ffffff; }
	202
	203	#content { margin-left: 0px; padding: 1em; border-left: 0px; border-right: 0px; background-color: #ffffff; }
	204
	205	#navigation { display: none;
	206	}
	207
	208	#product_logo
	209	{
	210	display: none;
	211	}
	212
	213	#about img
	214	{
	215	display: none;
	216	}
	217
	218	.example {
	219	font-family: "Andale Mono", monospace;
	220	font-size: 8pt;
	221	page-break-inside: avoid;
	222	}
	223	}