<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<style type="text/css">
- pre, code {
- font-family: monospace;
- }
+pre, code {
+ font-family: monospace;
+}
- code {
- font-size: 130%;
- }
+p code {
+ font-size: 130%;
+ border-style: dashed;
+ border-width: 1px;
+ padding: 0.2em;
+ line-height: 1.8em;
+ border-color: grey;
+}
- pre {
- font-size: 100%;
- margin-right: 5em;
- margin-left: 2em;
- }
+pre {
+ font-size: 120%;
+ margin-right: 5em;
+ margin-left: 2em;
+}
- img {
- margin-left: auto;
- margin-right: auto;
- display: block;
- }
+img {
+ margin-left: auto;
+ margin-right: auto;
+ display: block;
+}
- body {
- margin-right: 1em;
- }
+body {
+ margin-right: 1em;
+}
</style>
<script type="text/javascript" src="sh_main.js"></script>
<script type="text/javascript" src="sh_grafite.js"></script>
projects / helm.git / commitdiff