diff options
Diffstat (limited to 'doc/ext_ffi.html')
-rw-r--r-- | doc/ext_ffi.html | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/ext_ffi.html b/doc/ext_ffi.html index 9a6200c6..00623a3a 100644 --- a/doc/ext_ffi.html +++ b/doc/ext_ffi.html | |||
@@ -8,12 +8,6 @@ | |||
8 | <meta name="Language" content="en"> | 8 | <meta name="Language" content="en"> |
9 | <link rel="stylesheet" type="text/css" href="bluequad.css" media="screen"> | 9 | <link rel="stylesheet" type="text/css" href="bluequad.css" media="screen"> |
10 | <link rel="stylesheet" type="text/css" href="bluequad-print.css" media="print"> | 10 | <link rel="stylesheet" type="text/css" href="bluequad-print.css" media="print"> |
11 | <style type="text/css"> | ||
12 | span.codemark { position:absolute; left: 16em; color: #4040c0; } | ||
13 | span.mark { color: #4040c0; font-family: Courier New, Courier, monospace; | ||
14 | line-height: 1.1; } | ||
15 | pre.mark { padding-left: 2em; } | ||
16 | </style> | ||
17 | </head> | 11 | </head> |
18 | <body> | 12 | <body> |
19 | <div id="site"> | 13 | <div id="site"> |