Menu
▾
▴
[Scstudio-commits] SF.net SVN: scstudio:[965] trunk/doc/help
|
From: <koc...@us...> - 2010-09-17 21:09:14
|
Revision: 965
http://scstudio.svn.sourceforge.net/scstudio/?rev=965&view=rev
Author: kocianon
Date: 2010-09-17 21:09:07 +0000 (Fri, 17 Sep 2010)
Log Message:
-----------
adding menu to acyclic help for test up
Modified Paths:
--------------
trunk/doc/help/acyclic/acyclic.html
trunk/doc/help/help.css
trunk/doc/help/index.html
Modified: trunk/doc/help/acyclic/acyclic.html
===================================================================
--- trunk/doc/help/acyclic/acyclic.html 2010-09-17 19:22:16 UTC (rev 964)
+++ trunk/doc/help/acyclic/acyclic.html 2010-09-17 21:09:07 UTC (rev 965)
@@ -11,6 +11,105 @@
<link href="../help.css" rel="stylesheet" type="text/css" />
</head>
<body>
+ <div class="menu">
+ <h1>
+ Sequence Chart Studio
+ </h1>
+ <ul>
+ <li>
+ <a href="../frontend.html">Microsoft Visio Front-end</a>
+ <ul>
+ <li>
+ <a href="../frontend/shape_selection.html">Shape Selection</a>
+ </li>
+ <li>
+ <a href="../frontend/automatic_drawing.html">Automatic Drawing</a>
+ </li>
+ <li>
+ <a href="../frontend/message_numbering.html">Message Numbering</a>
+ </li>
+ <li>
+ <a href="../frontend/message_snapping.html">Message Snapping</a>
+ </li>
+ <li>
+ <a href="../frontend/shortcuts.html">Keyboard Accelerators</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="../algorithms.html">Verification Algoritms</a>
+ <ul>
+ <li>
+ <a href="../acyclic/acyclic.html">Acyclic property</a>
+ </li>
+ <li>
+ <a href="../boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
+ <li>
+ <a href="../deadlock/deadlock.html">Deadlock</a>
+ </li>
+ <li>
+ <a href="../fifo/fifo.html">FIFO</a>
+ </li>
+ <li>
+ <a href="../livelock/livelock.html">Livelock</a>
+ </li>
+ <li>
+ <a href="../localchoice/localchoice.html">Nonlocal Choice</a>
+ </li>
+ <li>
+ <a href="../race/race.html">Race Condition</a>
+ </li>
+ <li>
+ <a href="../realizability/realizability.html">Strong Realizability</a>
+ </li>
+ <li>
+ <a href="../recursivity/recursivity.html">Non-recursivity</a>
+ </li>
+ <li>
+ <a href="../time_consistency/time_consistency.html">Time Consistency</a>
+ </li>
+ <li>
+ <a href="../time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
+ </li>
+ <li>
+ <a href="../time_trace_race/time_race.html">Time Race</a>
+ </li>
+ <li>
+ <a href="../unique_instance/unique_instance.html">Unique Instance
+ Names</a>
+ </li>
+ </ul>
+ </li>
+ <li>
+ <a href="../membership/membership.html">Drawing Membership</a>
+ </li>
+ <li>
+ <a href="../montecarlo/montecarlo.html">Monte Carlo Simulation</a>
+ </li>
+ <li>
+ <a href="../transformers.html">Drawing Transformers</a>
+ </li>
+ <li>
+ <ul>
+ <li>
+ <a href="../beautify/beautify.html">Beautify</a>
+ </li>
+ <li>
+ <a href="../time_tighten/time_tighten.html">Tighten Time</a>
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <div class="footer">
+ <p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
+ <p><a href="http://sourceforge.net/projects/scstudio/" target="_blank">scstudio on sourceforge</a></p>
+ <p>The software is freely available under <a target="_blank" href="http://www.gnu.org/licenses/lgpl.html">LGPL</a>.</p>
+ <p>© 2010</p>
+ </div>
+ </div>
+ <div class="content">
<h1>Acyclic property</h1>
<p>
ensures that there is no cyclic dependency among events in an BMSC. Such a
@@ -67,5 +166,6 @@
</ul>
</li>
</ul>
+ </div>
</body>
</html>
Modified: trunk/doc/help/help.css
===================================================================
--- trunk/doc/help/help.css 2010-09-17 19:22:16 UTC (rev 964)
+++ trunk/doc/help/help.css 2010-09-17 21:09:07 UTC (rev 965)
@@ -1,7 +1,9 @@
-body {
+html,body {
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 1.0em;
color: #000000;
+ width: 950px;
+ height: 100%;
}
p {
margin-top: 0em;
@@ -30,6 +32,17 @@
font-size: 1em;
}
+a {
+ color: #003366; font-weight: bold; text-decoration: none;
+}
+
+a:hover {
+ text-decoration: underline;
+}
+
+.menu ul { padding-left: 25px; }
+.menu ul ul { margin-bottom: 15px; }
+
ul.gallery { clear: both; }
ul.gallery li { list-style-type: none; float: left; }
ul.gallery li ul li { float: none; text-align: center; font-size: 15px; }
@@ -37,3 +50,8 @@
ul.gallery ul { padding:20px; margin:20px; border:1px #B4B4B4 solid;}
+
+.menu { float: left; width: 250px; border: 1px solid #b4b4b4; padding: 4px; position: relative; font-size: 12px; margin-right: 700px}
+.menu h1 { text-align: center; margin-bottom: 30px; }
+.footer {text-align: center; margin-top: 45px; font-size: 10px; line-height: 5px; }
+.content { float: right; position: absolute; margin-left: 300px; max-width: 800px; }
Modified: trunk/doc/help/index.html
===================================================================
--- trunk/doc/help/index.html 2010-09-17 19:22:16 UTC (rev 964)
+++ trunk/doc/help/index.html 2010-09-17 21:09:07 UTC (rev 965)
@@ -102,5 +102,11 @@
</ul>
</li>
</ul>
+ <div class="footer">
+ <p><a href="http://scstudio.sourceforge.net/" target="_blank">scstudio homepage</a></p>
+ <p><a href="http://sourceforge.net/projects/scstudio/" target="_blank">scstudio via sourceforge</a></p>
+ <p>The software is freely available under <a href="http://www.gnu.org/licenses/lgpl.html">LGPL</a>.</p>
+ <p>© 2010</p>
+ </div>
</body>
</html>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
