Skip to content
Snippets Groups Projects
Commit 128f5aac authored by Michael Jastram's avatar Michael Jastram
Browse files

Finished Layout / Style 

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@12020 1434b563-b632-4741-aa49-43a3a8374d2e
parent 3fb163e3
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 37 additions and 5 deletions
org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html
+ 9
− 2
View file @ 128f5aac
...@@ -14,6 +14,12 @@ ...@@ -14,6 +14,12 @@
</head> </head>
<body> <body>
<div style="float: right; text-align: center; font-family: sans-serif;">
<a href="" id="feedbackbubble" style="color: red; text-decoration: none;">
<img src="icons/bubble_48.png" border="0" align="middle"><br><b>Feedback</b></a>
</div>
<div tal:content="self">File contents</div> <div tal:content="self">File contents</div>
<div tal:condition="self/tableofcontents" tal:attributes="class string:contents ${self/nodeName}-contents"><!--<strong>Subsections</strong>--> <div tal:condition="self/tableofcontents" tal:attributes="class string:contents ${self/nodeName}-contents"><!--<strong>Subsections</strong>-->
...@@ -58,8 +64,8 @@ ...@@ -58,8 +64,8 @@
| <img src="icons/wikipedia.png" /> <a class="footer" href="http://wiki.event-b.org/">Rodin Wiki</a> | <img src="icons/wikipedia.png" /> <a class="footer" href="http://wiki.event-b.org/">Rodin Wiki</a>
| <a class="footer" rel="license" href="http://creativecommons.org/licenses/by/3.0/"> | <a class="footer" rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/">
<img alt="Creative Commons License" style="border-width:0" src="icons/cc-by.png" /></a> <img alt="Creative Commons License" style="border-width:0" src="icons/cc-by-sa.png" /></a>
Creative Commons License Creative Commons License
| |
<img src="icons/feedback.gif" /> <a class="footer" href="" id="feedback">Feedback</a> <img src="icons/feedback.gif" /> <a class="footer" href="" id="feedback">Feedback</a>
...@@ -68,6 +74,7 @@ Creative Commons License ...@@ -68,6 +74,7 @@ Creative Commons License
section = encodeURIComponent(document.getElementById("section").innerHTML); section = encodeURIComponent(document.getElementById("section").innerHTML);
url = "https://spreadsheets.google.com/spreadsheet/viewform?formkey=dEJmXzUydnRzZGdDVE16WFZmZmd1alE6MQ" url = "https://spreadsheets.google.com/spreadsheet/viewform?formkey=dEJmXzUydnRzZGdDVE16WFZmZmd1alE6MQ"
+ String.fromCharCode(38) + "entry_0=" + section; + String.fromCharCode(38) + "entry_0=" + section;
document.getElementById("feedbackbubble").href = url;
document.getElementById("feedback").href = url; document.getElementById("feedback").href = url;
</script> </script>
......
org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/bubble_48.png 0 → 100644
+ 0
− 0
View file @ 128f5aac
org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/bubble_48.png

5.2 KiB

org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/cc-by-sa.png 0 → 100644
+ 0
− 0
View file @ 128f5aac
org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/cc-by-sa.png

672 B

org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html
+ 27
− 3
View file @ 128f5aac
...@@ -39,12 +39,28 @@ url = "https://spreadsheets.google.com/spreadsheet/viewform?formkey=dEJmXzUydnRz ...@@ -39,12 +39,28 @@ url = "https://spreadsheets.google.com/spreadsheet/viewform?formkey=dEJmXzUydnRz
document.getElementById("feedback").href = url; document.getElementById("feedback").href = url;
</script> </script>
</ul> </ul>
</div> </div>
<br/> <br/>
<br/> <br/>
<div id="cse-search-form" style="width: 150px;">Loading</div>
<script src="http://www.google.com/jsapi" type="text/javascript"></script>
<script type="text/javascript">
google.load('search', '1', {language : 'en'});
google.setOnLoadCallback(function() {
var customSearchControl = new google.search.CustomSearchControl('017699211055551047357:t-4vw4yxuhq');
customSearchControl.setResultSetSize(google.search.Search.FILTERED_CSE_RESULTSET);
var options = new google.search.DrawOptions();
options.enableSearchboxOnly("http://google.com/cse?cx=017699211055551047357:t-4vw4yxuhq");
customSearchControl.draw('cse-search-form', options);
}, true);
</script>
<link rel="stylesheet" href="http://www.google.com/cse/style/look/default.css" type="text/css" />
<br/> <br/>
<br/> <br/>
<center id="navlist"> <center id="navlist">
...@@ -56,8 +72,8 @@ This work is sponsored by the ...@@ -56,8 +72,8 @@ This work is sponsored by the
<br/> <br/>
<br/> <br/>
<img alt="Creative Commons License" style="border-width:0" src="icons/cc-by.png" /><br /> <img alt="Creative Commons License" style="border-width:0" src="icons/cc-by-sa.png" /><br />
This work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by/3.0/">Creative Commons Attribution 3.0 Unported License</a> This work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/">Creative Commons Attribution 3.0 Unported License</a>
</center> </center>
...@@ -82,6 +98,14 @@ This work is licensed under a <a rel="license" href="http://creativecommons.org/ ...@@ -82,6 +98,14 @@ This work is licensed under a <a rel="license" href="http://creativecommons.org/
</table> </table>
</div> </div>
<div style="float: right; text-align: center; font-family: sans-serif;">
<a href="" id="feedbackbubble" style="color: red; text-decoration: none;">
<img src="icons/bubble_48.png" border="0" align="middle"><br><b>Feedback</b></a>
<script>
document.getElementById("feedbackbubble").href = url;
</script>
</div>
<div tal:content="self">File contents</div> <div tal:content="self">File contents</div>
<div tal:condition="self/tableofcontents" tal:attributes="class string:contents ${self/nodeName}-contents"><!--<strong>Subsections</strong>--> <div tal:condition="self/tableofcontents" tal:attributes="class string:contents ${self/nodeName}-contents"><!--<strong>Subsections</strong>-->
......
org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/bubble_48.png 0 → 100644
+ 0
− 0
View file @ 128f5aac
org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/bubble_48.png

5.2 KiB

org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/cc-by-sa.png 0 → 100644
+ 0
− 0
View file @ 128f5aac
org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/cc-by-sa.png

4.96 KiB

org.rodinp.handbook.feature/org.rodinp.handbook.feature build.xml.launch
+ 1
− 0
View file @ 128f5aac
...@@ -16,6 +16,7 @@ ...@@ -16,6 +16,7 @@
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.ant.internal.launching.remote.InternalAntRunner"/> <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.ant.internal.launching.remote.InternalAntRunner"/>
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="org.rodinp.handbook.feature"/> <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="org.rodinp.handbook.feature"/>
<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.ant.ui.AntClasspathProvider"/> <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.ant.ui.AntClasspathProvider"/>
<stringAttribute key="org.eclipse.ui.externaltools.ATTR_ANT_TARGETS" value="generate-eclipse,"/>
<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LAUNCH_CONFIGURATION_BUILD_SCOPE" value="${none}"/> <stringAttribute key="org.eclipse.ui.externaltools.ATTR_LAUNCH_CONFIGURATION_BUILD_SCOPE" value="${none}"/>
<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="${workspace_loc:/org.rodinp.handbook.feature/build.xml}"/> <stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="${workspace_loc:/org.rodinp.handbook.feature/build.xml}"/>
<stringAttribute key="process_factory_id" value="org.eclipse.ant.ui.remoteAntProcessFactory"/> <stringAttribute key="process_factory_id" value="org.eclipse.ant.ui.remoteAntProcessFactory"/>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment