diff options
Diffstat (limited to 'doc/ext_ffi_tutorial.html')
-rw-r--r-- | doc/ext_ffi_tutorial.html | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/doc/ext_ffi_tutorial.html b/doc/ext_ffi_tutorial.html index 2b717526..c5dc68ae 100644 --- a/doc/ext_ffi_tutorial.html +++ b/doc/ext_ffi_tutorial.html | |||
@@ -9,16 +9,10 @@ | |||
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"> | 11 | <style type="text/css"> |
12 | span.codemark { position:absolute; left: 16em; color: #4040c0; } | 12 | table.idiomtable { font-size: 90%; line-height: 1.2; } |
13 | span.mark { color: #4040c0; font-family: Courier New, Courier, monospace; | ||
14 | line-height: 1.1; } | ||
15 | pre.mark { padding-left: 2em; } | ||
16 | table.idiomtable { line-height: 1.2; } | ||
17 | table.idiomtable tt { font-size: 100%; } | 13 | table.idiomtable tt { font-size: 100%; } |
18 | table.idiomtable td { vertical-align: top; } | 14 | table.idiomtable td { vertical-align: top; } |
19 | tr.idiomhead td { font-weight: bold; } | 15 | tr.idiomhead td { font-weight: bold; } |
20 | td.idiomc { width: 12em; } | ||
21 | td.idiomlua { width: 14em; } | ||
22 | td.idiomlua b { font-weight: normal; color: #2142bf; } | 16 | td.idiomlua b { font-weight: normal; color: #2142bf; } |
23 | </style> | 17 | </style> |
24 | </head> | 18 | </head> |