+<link rel="stylesheet" href="style.css">
+<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js"></script>
<script src="nav.js"></script>
-
----
Then you can proceed to the installation of `psensor`. For Ubuntu and derivatives,
- you should look at the link:psensor_ubuntu.html[Ubuntu support page].
+ you should look at the link:ubuntu.html[Ubuntu support page].
And finally launch the `psensor` executable.
<title>psensor</title>
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Open+Sans:300,300italic,400,400italic,600,600italic%7CNoto+Serif:400,400italic,700,700italic%7CDroid+Sans+Mono:400,700">
<link rel="stylesheet" href="./asciidoctor.css">
+<link rel="stylesheet" href="style.css">
+<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js"></script>
<script src="nav.js"></script>
-
</head>
<body class="article">
<div id="header">
-console.log("OK");
+$( document ).ready(function() {
+ $("#header").prepend("<nav><ul><li><a href='/'>Home</a></li><li><a href='/ppastats'>PPAstats</a></li><li><a href='/psensor'>psensor</a></li></ul></nav>");
+ console.log("END");
+});
--- /dev/null
+nav li {
+ float: left;
+ list-style: none;
+ margin-right: 1em;
+}
+
+h1, nav li {
+ text-transform: uppercase;
+}
+
+nav a, nav a:hover, nav a:visited {
+ text-decoration: none;
+ color: black;
+}
+
+nav a:hover {
+ border-color: red;
+ border-bottom-style: solid;
+ border-bottom-width: 2px;
+}
+
+nav ul {
+ margin: 0;
+}
+
+body {
+ font-family: sans-serif;
+ margin: 1em 1em 1em 2em;
+ padding: 0;
+}
+
+h1 {
+ padding: 0;
+}
+
+#content,#header,h2 {
+ margin: 1em;
+ padding: 0;
+}
+
+#footer {
+ display: none;
+}
+
+pre {
+ margin: 1em 1em 1em 1em;
+ padding: 1em 1em 1em 1em;
+}