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

More work on Styles and Templates

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@11848 1434b563-b632-4741-aa49-43a3a8374d2e
parent 4869aaaa
No related branches found
No related tags found
No related merge requests found
Showing
with 59 additions and 11 deletions
......@@ -49,5 +49,19 @@
<script language="javascript" src="icons/imgadjust.js" type="text/javascript"></script>
<div class="footer">
<hr />
<img src="icons/deploy-logo-small.png" /> Work sponsored by the <a class="footer" href="http://www.deploy-project.eu/">Deploy Project</a>
| <img src="icons/pdf_icon.gif" /> <a class="footer" href="">Handbook as PDF</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/">
<img alt="Creative Commons License" style="border-width:0" src="icons/cc-by.png" /></a>
Creative Commons License
</div>
</body>
</html>
org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/cc-by.png

640 B

org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/deploy-logo-small.png

1.18 KiB

org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/pdf_icon.gif

1.02 KiB

org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/wikipedia.png

3.33 KiB

......@@ -41,8 +41,6 @@ h1, h2, h3, h4, h5, h6 {
font-weight: normal;
}
hr {color: black}
.minitoc {
border-top: 1px solid black;
border-bottom: 1px solid block;
......@@ -218,9 +216,6 @@ table.list td {
margin-bottom: 0px;
}
/* Rules */
hr {color: black}
/* Image offset classes */
.raise15 {margin-bottom: 10px}
.raise14 {margin-bottom: 10px}
......@@ -332,3 +327,16 @@ blockquote p span.rmfamily img {
position: absolute;
left: 0.5em;
}
.footer {
font-family: "Lucida Grande", Arial, Helvetica, sans-serif;
color: #888;
text-align: center;
}
hr {
color: #888;
background-color: #888;
height: 1px;
}
......@@ -26,7 +26,8 @@ Manual
<div id="navcontainer">
<ul id="navlist">
<li><a href="index.html">Documentation Home</a>
<li><a href="index.html">Handbook Home</a>
<li><a href="">Handbook as PDF</a>
<li><a href="http://wiki.event-b.org/">Rodin Wiki</a>
<li><a href="http://sourceforge.net/projects/rodin-b-sharp/">Rodin Download</a>
<li><a href="mailto:michael.jastram@formalmind.com">Contact</a>
......@@ -35,8 +36,20 @@ Manual
<br/>
<br/>
<center>
<a href="http://www.deploy-project.eu/"><img src="icons/deploy.png" border="0"></a>
<br/>
<br/>
<center id="navlist">
<img src="icons/deploy.png" border="0"><br>
This work is sponsored by the
<a href="http://www.deploy-project.eu/">Deploy Project</a><br>
<br/>
<br/>
<img alt="Creative Commons License" style="border-width:0" src="icons/cc-by.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>
</center>
</td><td valign="top" width="40">&nbsp;</td><td valign="top" >
......
org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/cc-by.png

4.63 KiB

org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/pdf_icon.png

4.87 KiB

......@@ -51,6 +51,7 @@ This document demonstrates this approach with a very small portion of the existi
By Cliff and/or Jean-Raymond.
\section{Conventions}
\label{conventions}
We use the following conventions in this manual:
......
\subsection{Style Guide}
\section{Style Guide}
\info{For now, we will manage the style guide as \LaTeX together with the rest of the documentation. We may take it out upon publication.}
\info{For now, we will manage the style guide as \LaTeX~together with the rest of the documentation. We may take it out upon publication.}
\subsubsection{General Stylistic Guidelines}
\begin{itemize}
\item The Conventions (\ref{conventions}) are part of the style guide.
\item Use the ``we'' form.
\item Images must be no more than 600 pixels in width (for HTML version) This is fairly easy for bitmaps (screenshot), pay attention for vector images.
\item Images must be no more than 700 pixels in width (for HTML version) This is fairly easy for bitmaps (screenshot), pay attention to this regarding how plastex converts vector images.
\end{itemize}
\subsubsection{Sections}
\begin{itemize}
\item We have a small number of well-defined chapters, the top level structuring element.
\item sections and subsections are numbered. In the HTML-Versions, they are broken into subpages.
\item subsubsections do not receive numbers and are not broken into subpages in the HTML. Keep this in mind regarding both the reading flow and page sizes.
\item Avoid linking (ref) to subsubsections, as they don't have a number. Latex will instead provide a link to the next higher element. It works, but could create confusion.
\item Generally, we should avoid gaps in the hierarchy (i.e. having a subsubsection in a section without a subsection inbetween). \footnote{Coincidentally, this style guide violates this rule. Reason: We want the style guide not broken into subpages, but the proper hierarchy is a section.}
\end{itemize}
\subsubsection{\LaTeX Styling}
\begin{itemize}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment