annotate o2s5.source @ 1:450bcedf4ed4

multiple theme
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 23 Sep 2011 23:05:08 +0900
parents b0c6281822f5
children 85a60c32503c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 #!/usr/bin/perl
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 $depth = 0;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 $section = 1;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 $note = 1;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 $abstract = 0;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 $current = fh000;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 $tag = "content000";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 $back = "white";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 $fore = "black";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 $subtitle = '';
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 $affilation = '';
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 $closing = "</li>";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 $opening = '<li class="slide">';
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 $xoxo = '';
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 $tfont = 1;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 $ul = 0;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 $theme = "default";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 @opt = grep(! /\.ind/,@ARGV);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 @ARGV = grep( /\.ind/,@ARGV);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 sub title_init {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 if (grep(/-p/,@opt)) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 $theme = "pixel";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 } elsif (grep(/-f/,@opt)) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 $theme = "flower";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 } elsif (grep(/-2/,@opt)) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 $closing = "</div>";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 $opening = '<div class="slide">';
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 } else {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 $xoxo = '<ol class="xoxo presentation">'
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 $slidy_init = <<"RogueRogue";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 <?xml version="1.0" encoding="utf-8"?>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en-US">
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 <head>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 <meta name="generator" content=
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 "HTML Tidy for Linux/x86 (vers 1st November 2003), see www.w3.org" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 <title>HTML Slidy</title>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 <meta name="copyright" content=
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 "Copyright &#169; 2005-2010 W3C (MIT, ERCIM, Keio)" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 <meta name="duration" content="5" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 <meta name="font-size-adjustment" content="-2" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 <link rel="stylesheet" href="ui/slidy2/styles/slidy.css" type="text/css" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 <link rel="stylesheet" href="ui/slidy2/styles/w3c-blue.css" type="text/css" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 <script src="ui/slidy2/scripts/slidy.js" charset="utf-8" type="text/javascript">
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 </script>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 </head>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 <body>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 <div class="background"><img alt="" id="head-icon"
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 src="ui/slidy2/graphics/icon-blue.png" /><object id="head-logo"
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 data="ui/slidy2/graphics/w3c-logo-white.svg" type="image/svg+xml"
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 title="W3C logo"><a href="http://www.w3.org/"><img
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 alt="W3C logo" id="head-logo-fallback"
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 src="ui/slidy2/graphics/w3c-logo-white.gif" /></a></object></div>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 <div class="background slanty">
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 <img src="ui/slidy2/graphics/w3c-logo-slanted.jpg" alt="slanted W3C logo" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 </div>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 <div class="slide cover title">
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 <!-- hidden style graphics to ensure they are saved with other content -->
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 <img class="hidden" src="ui/slidy2/graphics/bullet.png" alt="" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 <img class="hidden" src="ui/slidy2/graphics/fold.gif" alt="" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 <img class="hidden" src="ui/slidy2/graphics/unfold.gif" alt="" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 <img class="hidden" src="ui/slidy2/graphics/fold-dim.gif" alt="" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 <img class="hidden" src="ui/slidy2/graphics/nofold-dim.gif" alt="" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 <img class="hidden" src="ui/slidy2/graphics/unfold-dim.gif" alt="" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 <img class="hidden" src="ui/slidy2/graphics/bullet-fold.gif" alt="" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 <img class="hidden" src="ui/slidy2/graphics/bullet-unfold.gif" alt="" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 <img class="hidden" src="ui/slidy2/graphics/bullet-fold-dim.gif" alt="" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 <img class="hidden" src="ui/slidy2/graphics/bullet-nofold-dim.gif" alt="" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 <img class="hidden" src="ui/slidy2/graphics/bullet-unfold-dim.gif" alt="" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 <img src="ui/slidy2/graphics/keys2.jpg" alt="Cover page images (keys)"
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 class="cover" /><br clear="all" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 <h1>$title</h1>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
89
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 <p><a>$author</a>,
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 <br />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 <br />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 <br />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 </div>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 RogueRogue
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
96
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 $init = <<"RogueRogue";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 <html>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8">
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
100 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
101 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
102
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 <html xmlns="http://www.w3.org/1999/xhtml">
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 <head>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
106 <title>$title</title>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 <!-- metadata -->
1
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
108 <meta name="generator" content="o2s5" />
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
109 <meta name="version" content="0.1" />
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
110 <meta name="author" content="Shinji KONO" />
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
111 <meta name="company" content="" />
0
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 <!-- configuration parameters -->
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 <meta name="defaultView" content="slideshow" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 <meta name="controlVis" content="hidden" />
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 <!-- style sheet links -->
1
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
116 <link href="ui/syntax.css" id="syntaxStyle" media="all" rel="stylesheet" type="text/css" />
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
117 <link href="ui/core/outline.css" id="outlineStyle" media="screen" rel="stylesheet" type="text/css" />
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
118 <link href="ui/core/print.css" id="slidePrint" media="print" rel="stylesheet" type="text/css" />
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
119 <link href="ui/core/opera.css" id="operaFix" media="projection" rel="stylesheet" type="text/css" />
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
120 <link href="ui/core/math.css" id="mathStyle" media="all" rel="stylesheet" type="text/css" />
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
121 <link href="ui/themes/$theme/slides.css" id="slideProj" media="projection" rel="stylesheet" type="text/css" />
0
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
122 <!-- S5 JS -->
1
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
123 <script src="ui/prototype.js" type="text/javascript"></script>
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
124 <script type="text/x-mathjax-config">
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
125 MathJax.Hub.Config({
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
126 MathML: { useMathMLspacing: true },
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
127 "HTML-CSS": { scale: 90 }
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
128 });
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
129 if (window._onload_fired_) MathJax.Hub.Startup.onload();
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
130 </script>
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
131 <script type="text/javascript">
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
132 if (!(Prototype.Browser.Gecko || navigator.userAgent.match(/MathPlayer/))) {
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
133 var s = document.createElement('script');
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
134 s.src = "ui/MathJax/MathJax.js?config=MML_HTMLorMML";
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
135 document.querySelector('head').appendChild(s);
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
136 window.addEventListener("load", function(){window._onload_fired_ = true} , false);
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
137 };
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
138 </script>
450bcedf4ed4 multiple theme
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
139 <script src="ui/core/slides.js" type="text/javascript"></script>
0
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
140 </head>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
141 <body>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
142
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
143 <div class="layout">
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
144 <div id="controls"><!-- DO NOT EDIT --></div>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
145 <div id="currentSlide"><!-- DO NOT EDIT --></div>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
146 <div id="header"></div>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
147 <div id="footer">
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
148 <h1>$title</h1>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
149 <h2>$author</h2>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
150 </div>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
151 </div>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
152 $xoxo
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
153 <div class="presentation">
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
154 <div class="slide">
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
155 <h1>$title</h1>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
156 <h2>$subtitle</h2>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
157 <h3>$author</h3>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
158 <h4>$affilation</h4>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
159
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
160 RogueRogue
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
161
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
162 if (grep(/-2/,@opt)) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
163 $closing = "</div>";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
164 $opening = '<div class="slide">';
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
165 $init = $slidy_init;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
166 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
167 &init();
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
168 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
169
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
170 sub o2s5 {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
171 local($current) = @_;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
172 %content = ();
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
173
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
174 my $in_comment = 0;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
175
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
176 line: while (<$current>) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
177 if (/^<!---/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
178 $in_comment = 1;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
179 next;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
180 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
181 if ($in_comment) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
182 if (/^<.*--->/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
183 $in_comment = 0;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
184 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
185 next;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
186 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
187 chop; # strip record separator
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
188 s/([^\\])\\n/\1\n/g;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
189 s/\\\\/\\/g;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
190 if( (!/^\s/) && (!/^$/) && $pre) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
191 print $fh "</pre>\n";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
192 $pre = 0;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
193 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
194 if (/^-*input: (.*)/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
195 my $fd;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
196 # $fdbase = $current; $fdbase ++;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
197 open($fd,"<$1");
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
198 $fdbase = $fd;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
199 push(@depend,$1);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
200 # print STDOUT "$1 ";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
201 do o2s5($fdbase);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
202 next line;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
203 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
204 if (/^-title:/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
205 $title = substr($_, 8, length($_) - 7);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
206 # &title($title);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
207 next line;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
208 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
209 if (/^--*date:/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
210 for ($tmp = 1; substr($_, $tmp, 1) eq '-'; $tmp++) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
211 ;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
212 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
213 $tmp += 5;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
214 $day = substr($_, $tmp, length($_) - $tmp + 1);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
215 next line;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
216 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
217 if (/^--*number:/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
218 for ($tmp = 1; substr($_, $tmp, 1) eq '-'; $tmp++) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
219 ;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
220 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
221 $tmp += 7;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
222 $number = substr($_, $tmp, length($_) - $tmp + 1);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
223 next line;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
224 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
225 if (/^--*note:/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
226 $note = 2;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
227 # printf $fh "<quote>\n";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
228 next line;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
229 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
230 if (/^--*author:/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
231 for ($tmp = 1; substr($_, $tmp, 1) eq '-'; $tmp++) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
232 ;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
233 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
234 $tmp += 7;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
235 $author = substr($_, $tmp, length($_) - $tmp + 1);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
236 next line;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
237 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
238 if (/^--*affilation:/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
239 for ($tmp = 1; substr($_, $tmp, 1) eq '-'; $tmp++) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
240 ;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
241 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
242 $tmp += 11;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
243 $affilation = substr($_, $tmp, length($_) - $tmp + 1);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
244 next line;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
245 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
246 if (/^--*subtitle:/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
247 for ($tmp = 1; substr($_, $tmp, 1) eq '-'; $tmp++) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
248 ;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
249 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
250 $tmp += 9;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
251 $subtitle = substr($_, $tmp, length($_) - $tmp + 1);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
252 next line;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
253 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
254 if (/^--*abstract:/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
255 $abstract = 1;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
256 # printf $fh "\n";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
257 next line;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
258 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
259 if (/^-/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
260 if ($ul) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
261 print $fh "</ul>\n";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
262 $ul = 0;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
263 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
264 if ($title && $title ne 'done') {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
265 &title($title);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
266 $title = 'done';
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
267 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
268 if ($abstract == 1) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
269 # printf $fh "\n";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
270 $abstract = 0;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
271 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
272 if ($note) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
273 if ($note == 2) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
274 # printf $fh "\n";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
275 $note = 0;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
276 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
277 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
278 for ($depth = 1; substr($_, $depth, 1) eq '-'; $depth++) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
279 ;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
280 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
281 $section_title = substr($_, $depth, length($_) - $depth + 1);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
282 if ($section) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
283 print $fh <<"RogueRogue";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
284 $closing
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
285 RogueRogue
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
286 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
287 print $fh <<RogueRogue;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
288 $opening
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
289 <h1>$section_title</h1>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
290 RogueRogue
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
291 $section++;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
292 $content{$tag} = " " x $depth . $section_title;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
293 $tag++;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
294 next line;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
295 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
296 next if ($title ne 'done');
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
297
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
298 if (/^\t/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
299 if (! $ul) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
300 $ul = 1;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
301 print $fh "<ul>";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
302 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
303 print $fh "<li>$_\n</li>\n";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
304 $paragraph = 0;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
305 } elsif (/^\s/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
306 if(! $pre) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
307 $pre = 1;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
308 print $fh "<pre>";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
309 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
310 $paragraph = 0;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
311 print $fh $_,"<br>\n";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
312 } elsif (/^$/) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
313 if(! $pre && ! $paragraph) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
314 print $fh $_,"<p>";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
315 $paragraph = 1;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
316 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
317 } else {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
318 print $fh $_,"<br>\n";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
319 $paragraph = 0;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
320 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
321 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
322 # if (defined $section_title) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
323 # }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
324
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
325 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
326
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
327
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
328 foreach $arg (@ARGV) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
329 my $fd;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
330 # $fdbase = $current; $fdbase ++;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
331 open($fd,"<$arg") || die("$arg cannot open");
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
332 $fdbase = $fd;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
333 $out = $arg;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
334 $out =~ s/\.ind$//;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
335 $out =~ s/\.index$//;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
336 $out .= ".html";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
337 # $fh = "out00";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
338 if($arg eq $out) {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
339 $out .= ".html";
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
340 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
341 my $ofd;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
342 open($ofd,"|nkf -w >$out");
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
343 $fh = $ofd;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
344 do o2s5($fdbase);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
345 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
346
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
347 close($fh);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
348
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
349
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
350
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
351
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
352
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
353
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
354 sub init {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
355
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
356 open(IN,"| tar zxf -");
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
357
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
358 my $tmp = << 'EOFEOF';
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
359 REPLACED-BY-FILE
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
360 EOFEOF
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
361
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
362 print IN unpack("u*",$tmp);
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
363 close IN;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
364
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
365 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
366
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
367 # <!--入口--->
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
368
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
369 sub title {
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
370 $title = $_[0];
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
371 &title_init;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
372
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
373 # <!-- embedded styles -->
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
374 # <style type="text/css" media="all">
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
375 # .imgcon {width: 525px; margin: 0 auto; padding: 0; text-align: center;}
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
376 # #anim {width: 270px; height: 320px; position: relative; margin-top: 0.5em;}
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
377 # #anim img {position: absolute; top: 42px; left: 24px;}
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
378 # img#me01 {top: 0; left: 0;}
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
379 # img#me02 {left: 23px;}
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
380 # img#me04 {top: 44px;}
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
381 # img#me05 {top: 43px;left: 36px;}
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
382 # </style>
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
383
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
384 print $fh $init;
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
385
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
386
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
387 }
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
388
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
389
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
390
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
391
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
392
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
393
b0c6281822f5 o2s5 with theme and slidy
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
394 # end