diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-02-09 14:55:48 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-02-09 14:55:48 +0000 |
commit | 2ae43be7b9d4118335c9d2cef6e098f9b9f807fe (patch) | |
tree | bbb5e49ccbf7e3614966571acc317f8d318fecad /doc/style.css | |
download | compcert-2ae43be7b9d4118335c9d2cef6e098f9b9f807fe.tar.gz compcert-2ae43be7b9d4118335c9d2cef6e098f9b9f807fe.zip |
Initial import of compcert
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'doc/style.css')
-rw-r--r-- | doc/style.css | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css new file mode 100644 index 00000000..9c1eb491 --- /dev/null +++ b/doc/style.css @@ -0,0 +1,32 @@ +a:visited {color : #416DFF; text-decoration : none; } +a:link {color : #416DFF; text-decoration : none; font-weight : bold} +a:hover {color : Red; text-decoration : underline; } +a:active {color : Red; text-decoration : underline; } +.keyword { font-weight : bold ; color : Red } +.keywordsign { color : #C04600 } +.superscript { font-size : 4 } +.subscript { font-size : 4 } +.comment { color : Green } +.constructor { color : Blue } +.string { color : Maroon } +.warning { color : Red ; font-weight : bold } +.info { margin-left : 3em; margin-right : 3em } +#.title1 { font-size : 20pt ; background-color : #416DFF } +#.title2 { font-size : 20pt ; background-color : #418DFF } +#.title3 { font-size : 20pt ; background-color : #41ADFF } +#.title4 { font-size : 20pt ; background-color : #41CDFF } +#.title5 { font-size : 20pt ; background-color : #41EDFF } +#.title6 { font-size : 20pt ; background-color : #41FFFF } +body { + color: black; background: white; + margin-left: 10%; margin-right: 5%; +} +tr { background-color : White } +# .doc { background-color :#aaeeff } +# .doc { background-color :#66ff66 } +.doc { margin-left: -5%; } +.docright { margin-left: 40%; } +h1 { margin-left: -10%; text-align: right; } +h2 { margin-left: -5%; } +h3,h4,h5,h6 { margin-left: -3%; } +hr { margin-left: -10%; margin-right:-10%; } |