aboutsummaryrefslogtreecommitdiff
path: root/docs/stylesheets/styles.css
diff options
context:
space:
mode:
authorEnrico Tassi2018-04-20 10:13:36 +0200
committerEnrico Tassi2018-04-20 10:35:01 +0200
commit24a7fea1648991a77fc4ff86a972b0a3935678c8 (patch)
tree4d6043884fafaf062d33c15a266a7f4c92541f79 /docs/stylesheets/styles.css
parent9352fc35ebe04b8b4e9002f3cf39ee1acbab8cd2 (diff)
move the webpage from gh-pages branch to docs/
Diffstat (limited to 'docs/stylesheets/styles.css')
-rw-r--r--docs/stylesheets/styles.css324
1 files changed, 324 insertions, 0 deletions
diff --git a/docs/stylesheets/styles.css b/docs/stylesheets/styles.css
new file mode 100644
index 0000000..811e3d2
--- /dev/null
+++ b/docs/stylesheets/styles.css
@@ -0,0 +1,324 @@
+@font-face {
+ font-family: 'Noto Sans';
+ font-weight: 400;
+ font-style: normal;
+ src: url('../fonts/Noto-Sans-regular/Noto-Sans-regular.eot');
+ src: url('../fonts/Noto-Sans-regular/Noto-Sans-regular.eot?#iefix') format('embedded-opentype'),
+ local('Noto Sans'),
+ local('Noto-Sans-regular'),
+ url('../fonts/Noto-Sans-regular/Noto-Sans-regular.woff2') format('woff2'),
+ url('../fonts/Noto-Sans-regular/Noto-Sans-regular.woff') format('woff'),
+ url('../fonts/Noto-Sans-regular/Noto-Sans-regular.ttf') format('truetype'),
+ url('../fonts/Noto-Sans-regular/Noto-Sans-regular.svg#NotoSans') format('svg');
+}
+
+@font-face {
+ font-family: 'Noto Sans';
+ font-weight: 700;
+ font-style: normal;
+ src: url('../fonts/Noto-Sans-700/Noto-Sans-700.eot');
+ src: url('../fonts/Noto-Sans-700/Noto-Sans-700.eot?#iefix') format('embedded-opentype'),
+ local('Noto Sans Bold'),
+ local('Noto-Sans-700'),
+ url('../fonts/Noto-Sans-700/Noto-Sans-700.woff2') format('woff2'),
+ url('../fonts/Noto-Sans-700/Noto-Sans-700.woff') format('woff'),
+ url('../fonts/Noto-Sans-700/Noto-Sans-700.ttf') format('truetype'),
+ url('../fonts/Noto-Sans-700/Noto-Sans-700.svg#NotoSans') format('svg');
+}
+
+@font-face {
+ font-family: 'Noto Sans';
+ font-weight: 400;
+ font-style: italic;
+ src: url('../fonts/Noto-Sans-italic/Noto-Sans-italic.eot');
+ src: url('../fonts/Noto-Sans-italic/Noto-Sans-italic.eot?#iefix') format('embedded-opentype'),
+ local('Noto Sans Italic'),
+ local('Noto-Sans-italic'),
+ url('../fonts/Noto-Sans-italic/Noto-Sans-italic.woff2') format('woff2'),
+ url('../fonts/Noto-Sans-italic/Noto-Sans-italic.woff') format('woff'),
+ url('../fonts/Noto-Sans-italic/Noto-Sans-italic.ttf') format('truetype'),
+ url('../fonts/Noto-Sans-italic/Noto-Sans-italic.svg#NotoSans') format('svg');
+}
+
+@font-face {
+ font-family: 'Noto Sans';
+ font-weight: 700;
+ font-style: italic;
+ src: url('../fonts/Noto-Sans-700italic/Noto-Sans-700italic.eot');
+ src: url('../fonts/Noto-Sans-700italic/Noto-Sans-700italic.eot?#iefix') format('embedded-opentype'),
+ local('Noto Sans Bold Italic'),
+ local('Noto-Sans-700italic'),
+ url('../fonts/Noto-Sans-700italic/Noto-Sans-700italic.woff2') format('woff2'),
+ url('../fonts/Noto-Sans-700italic/Noto-Sans-700italic.woff') format('woff'),
+ url('../fonts/Noto-Sans-700italic/Noto-Sans-700italic.ttf') format('truetype'),
+ url('../fonts/Noto-Sans-700italic/Noto-Sans-700italic.svg#NotoSans') format('svg');
+}
+
+body {
+ background-color: #fff;
+ padding:50px;
+ font: 16px/1.5 "Noto Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
+ color:#727272;
+ font-weight:400;
+}
+
+h1, h2, h3, h4, h5, h6 {
+ color:#222;
+ margin:0 0 20px;
+}
+
+p, ul, ol, table, pre, dl {
+ margin:0 0 20px;
+}
+
+h1, h2, h3 {
+ line-height:1.1;
+}
+
+h1 {
+ font-size:28px;
+}
+
+h2 {
+ color:#393939;
+}
+
+h3, h4, h5, h6 {
+ color:#494949;
+}
+
+a {
+ color:#39c;
+ text-decoration:none;
+}
+
+a:hover {
+ color:#069;
+}
+
+a small {
+ font-size:11px;
+ color:#777;
+ margin-top:-0.3em;
+ display:block;
+}
+
+a:hover small {
+ color:#777;
+}
+
+.wrapper {
+ width:860px;
+ margin:0 auto;
+}
+
+blockquote {
+ border-left:1px solid #e5e5e5;
+ margin:0;
+ padding:0 0 0 20px;
+ font-style:italic;
+}
+
+code, pre {
+ font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal, Consolas, Liberation Mono, DejaVu Sans Mono, Courier New, monospace;
+ color:#333;
+ font-size:12px;
+}
+
+pre {
+ padding:8px 15px;
+ background: #f8f8f8;
+ border-radius:5px;
+ border:1px solid #e5e5e5;
+ overflow-x: auto;
+}
+
+table {
+ width:100%;
+ border-collapse:collapse;
+}
+
+th, td {
+ text-align:left;
+ padding:5px 10px;
+ border-bottom:1px solid #e5e5e5;
+}
+
+dt {
+ color:#444;
+ font-weight:700;
+}
+
+th {
+ color:#444;
+}
+
+img {
+ max-width:100%;
+}
+
+header {
+ width:270px;
+ float:left;
+ position:fixed;
+ -webkit-font-smoothing:subpixel-antialiased;
+}
+
+header ul {
+ list-style:none;
+ height:40px;
+ padding:0;
+ background: #f4f4f4;
+ border-radius:5px;
+ border:1px solid #e0e0e0;
+ width:270px;
+}
+
+header li {
+ width:89px;
+ float:left;
+ border-right:1px solid #e0e0e0;
+ height:40px;
+}
+
+header li:first-child a {
+ border-radius:5px 0 0 5px;
+}
+
+header li:last-child a {
+ border-radius:0 5px 5px 0;
+}
+
+header ul a {
+ line-height:1;
+ font-size:11px;
+ color:#999;
+ display:block;
+ text-align:center;
+ padding-top:6px;
+ height:34px;
+}
+
+header ul a:hover {
+ color:#999;
+}
+
+header ul a:active {
+ background-color:#f0f0f0;
+}
+
+strong {
+ color:#222;
+ font-weight:700;
+}
+
+header ul li + li + li {
+ border-right:none;
+ width:89px;
+}
+
+header ul a strong {
+ font-size:14px;
+ display:block;
+ color:#222;
+}
+
+section {
+ width:500px;
+ float:right;
+ padding-bottom:50px;
+}
+
+small {
+ font-size:11px;
+}
+
+hr {
+ border:0;
+ background:#e5e5e5;
+ height:1px;
+ margin:0 0 20px;
+}
+
+footer {
+ width:270px;
+ float:left;
+ position:fixed;
+ bottom:50px;
+ -webkit-font-smoothing:subpixel-antialiased;
+}
+
+@media print, screen and (max-width: 960px) {
+
+ div.wrapper {
+ width:auto;
+ margin:0;
+ }
+
+ header, section, footer {
+ float:none;
+ position:static;
+ width:auto;
+ }
+
+ header {
+ padding-right:320px;
+ }
+
+ section {
+ border:1px solid #e5e5e5;
+ border-width:1px 0;
+ padding:20px 0;
+ margin:0 0 20px;
+ }
+
+ header a small {
+ display:inline;
+ }
+
+ header ul {
+ position:absolute;
+ right:50px;
+ top:52px;
+ }
+}
+
+@media print, screen and (max-width: 720px) {
+ body {
+ word-wrap:break-word;
+ }
+
+ header {
+ padding:0;
+ }
+
+ header ul, header p.view {
+ position:static;
+ }
+
+ pre, code {
+ word-wrap:normal;
+ }
+}
+
+@media print, screen and (max-width: 480px) {
+ body {
+ padding:15px;
+ }
+
+ header ul {
+ width:99%;
+ }
+
+ header li, header ul li + li + li {
+ width:33%;
+ }
+}
+
+@media print {
+ body {
+ padding:0.4in;
+ font-size:12pt;
+ color:#444;
+ }
+}