aboutsummaryrefslogtreecommitdiffstats
path: root/moon-abe/pbc-0.5.14/doc/pretty.css
diff options
context:
space:
mode:
authorWuKong <rebirthmonkey@gmail.com>2015-09-04 09:25:34 +0200
committerWuKong <rebirthmonkey@gmail.com>2015-09-04 09:25:34 +0200
commit3baeb11a8fbcfcdbc31976d421f17b85503b3ecd (patch)
tree04891d88c1127148f1b390b5a24414e85b270aee /moon-abe/pbc-0.5.14/doc/pretty.css
parent67c5b73910f5fc437429c356978081b252a59480 (diff)
init attribute-based encryption
Change-Id: Iba1a3d722110abf747a0fba366f3ebc911d25b25
Diffstat (limited to 'moon-abe/pbc-0.5.14/doc/pretty.css')
-rw-r--r--moon-abe/pbc-0.5.14/doc/pretty.css97
1 files changed, 97 insertions, 0 deletions
diff --git a/moon-abe/pbc-0.5.14/doc/pretty.css b/moon-abe/pbc-0.5.14/doc/pretty.css
new file mode 100644
index 00000000..69502083
--- /dev/null
+++ b/moon-abe/pbc-0.5.14/doc/pretty.css
@@ -0,0 +1,97 @@
+body {
+ font-size: 90%;
+ font-family: verdana, arial, sans-serif;
+}
+
+tt, code, pre, .type {
+ font-family: andale mono, courier new, courier, monospace;
+ font-size: 90%;
+}
+
+/* Based on http://phrogz.net/CSS/columns3.html */
+div.toc {
+ float: left;
+ margin: 0;
+ padding: 0;
+ padding-top: 0.5em;
+ border: 0;
+ width: 13em;
+
+ background-color: #f9f9f9;
+ margin-right:1em;
+}
+
+div.content {
+ margin: 0;
+ padding: 0;
+
+ /* won't match if font is smaller in toc */
+ border-left: 13em solid #f9f9f9;
+ padding-left: 1em;
+}
+
+div.content:after {
+ content:' ';
+ clear:both;
+ display:block;
+ height:0;
+ overflow:hidden
+}
+
+div.footer {
+ clear:left;
+}
+
+div.toc ul {
+ list-style: none;
+ padding: 0;
+ margin: 0;
+}
+
+div.toc li ul a, li ul span.currentlink
+{
+ font-weight: normal;
+ font-size: 90%;
+ padding-left: 2em;
+}
+
+div.toc a, span.currentlink{
+ display:block;
+ text-decoration: none;
+ padding-left: 0.5em;
+ color: #0000aa;
+}
+
+span.currentlink {
+ text-decoration: none;
+ background-color: #aaaaf9;
+}
+
+div.toc a:visited {
+ color: #0000aa;
+}
+
+div.toc a:hover {
+ background-color: #f9f9aa;
+}
+
+.literallayout {
+ margin: 0;
+ border: 1px solid #aaaaaa;
+ background-color: #f9f9f9;
+ padding: 0.17em;
+ margin: 1em;
+ margin-right: 3em;
+}
+
+h1, h2, h3, h4, h5, h6 {
+ padding-bottom: 0.17em;
+ margin: 0;
+ font-weight: normal;
+ color: black;
+ border-bottom: 1px solid #aaaaaa;
+}
+
+h3, h4, h5, h6 {
+ border-bottom: 0;
+}