Add third_party/pexpect

third_party/pexpect/doc/clean.css

Index: third_party/pexpect/doc/clean.css
diff --git a/third_party/pexpect/doc/clean.css b/third_party/pexpect/doc/clean.css
new file mode 100644
index 0000000000000000000000000000000000000000..e8d98ddb2e59980078a3b45358828b588c9156c2
--- /dev/null
+++ b/third_party/pexpect/doc/clean.css
@@ -0,0 +1,103 @@
+
+body {
+	margin:0px;
+	padding:0px;
+	font-family:verdana, arial, helvetica, sans-serif; 
+	color:#333;
+	background-color:white;
+	}
+pre {
+  background: #eeeeee;
+  border: 1px solid #888888;
+  color: black;
+  padding: 1em;
+  white-space: pre;
+}
+h1 {
+	margin:5px 0px 5px 0px;
+	padding:0px;
+	font-size:20px;
+	line-height:28px;
+	font-weight:900;
+	color:#44f;
+	}
+h2 {
+	margin:5px 0px 5px 0px;
+	padding:0px;
+	font-size:17px;
+	line-height:28px;
+	font-weight:900;
+	color:#226;
+	}
+h3 {
+	margin:5px 0px 5px 0px;
+	padding:0px;
+	font-size:15px;
+	line-height:28px;
+	font-weight:900;
+	}
+p
+{
+	margin:0px 0px 16px 0px;
+	font:11px/20px verdana, arial, helvetica, sans-serif;
+	padding:0px;
+}
+table 
+{
+    font-size: 10pt; 
+	color: #000000;
+}
+td{border:1px solid #999;}
+
+table.pymenu {color: #000000; background-color: #99ccff}
+th.pymenu {color: #ffffff; background-color: #003366}
+
+.code 
+{
+	font-family: "Lucida Console", monospace; font-weight: bold;
+	color: #007700; background-color: #eeeeee
+}
+
+#Content>p {margin:0px;}
+#Content>p+p {text-indent:30px;}
+
+a {
+	text-decoration:none;
+	font-weight:600;
+	font-family:verdana, arial, helvetica, sans-serif;
+	color: #900;
+}
+//a:link {color:#09c;}
+//a x:visited {color:#07a;}
+a:hover {background-color:#ee0;}
+
+#Header {
+	margin:10px 0px 10px 0px;
+	padding:10px 0px 10px 20px;
+	/* For IE5/Win's benefit height = [correct height] + [top padding] + [top and bottom border widths] */
+	height:33px; /* 14px + 17px + 2px = 33px */
+	border-style:solid;
+	border-color:black;
+	border-width:1px 0px; /* top and bottom borders: 1px; left and right borders: 0px */
+	line-height:33px;
+	background-color:#eee;
+	height:66px; /* the correct height */
+	}
+
+#Content {
+	margin:0px 210px 50px 10px;
+	padding:10px;
+	}
+
+#Menu {
+	position:absolute;
+	top:100px;
+	right:20px;
+	width:172px;
+	padding:10px;
+	background-color:#eee;
+	border:1px solid #999; // dashed #999;
+	line-height:17px;
+	width:150px;
+	font-size:11px;
+	}