diff --git a/msat_test/index.html b/msat_test/index.html new file mode 100644 index 00000000..48c555c8 --- /dev/null +++ b/msat_test/index.html @@ -0,0 +1,2 @@ + +index (msat_test.index)
\ No newline at end of file diff --git a/odoc.css b/odoc.css index d84a27de..e7808926 100644 --- a/odoc.css +++ b/odoc.css @@ -1,7 +1,7 @@ @charset "UTF-8"; /* Copyright (c) 2016 Daniel C. Bünzli. All rights reserved. Distributed under the ISC license, see terms at the end of the file. - %%NAME%% %%VERSION%% */ + odoc 1.2.0 */ /* Reset a few things. */ @@ -21,32 +21,32 @@ table { border-collapse: collapse; border-spacing: 0; } body { font-family: Helvetica, "DejaVu Sans", Arial, sans-serif; font-weight: normal; - font-size: 14px; - line-height:20px; + font-size: 0.875rem; + line-height:1.25rem; text-align: left; min-width: 40ex; max-width: 78ex; - padding: 20px; - margin-left: 60px; + padding: 1.25rem; + margin-left: 3.75rem; color: #222; background: #FAFAFA; } /* Basic markup elements */ b, strong { font-weight: bold; } -i, em { font-style: italic; } +em { font-style: italic; } sup { vertical-align: super; } sub { vertical-align: sub; } -sup, sub { font-size : 12px; line-height: 0; margin-left: 0.2ex; } +sup, sub { font-size : 0.75rem; line-height: 0; margin-left: 0.2ex; } -p, div, img { margin-top: 20px; } +p, div, img { margin-top: 1.25rem; } ul, ol -{ margin-top: 10px; margin-bottom: 10px; list-style-position: outside } +{ margin-top: 0.625rem; margin-bottom: 0.625rem; list-style-position: outside } ul { list-style-type: square } -ul > li { margin-left: 22px; } -ol > li { margin-left: 27.2px; } +ul > li { margin-left: 1.375rem; } +ol > li { margin-left: 1.7rem; } li > *:first-child { margin-top: 0 } /* Text alignements, this should be forbidden. */ @@ -63,9 +63,8 @@ a:hover { box-shadow:0 1px 0 0 #2C5CBD; } { background-color: #FFF8E5; box-shadow: 0 0 0 2px #FFF8E5, 0 0 0 3px #DDD; } -*:hover > a.anchor { - visibility: visible; -} +.spec:hover > a.anchor, /* FIXME remove */ +.anchored:hover a.anchor { visibility: visible; } a.anchor:before { content: "#" } a.anchor:hover { box-shadow: none; text-decoration: underline } @@ -84,21 +83,19 @@ a.anchor we restart the sequence there like h2 */ h1, h2, h3, h4, h5, h6, .h7, .h8, .h9, .h10 -{ font-weight: bold; margin-top: 20px; } - -h1 + *, h2 + *, .h7 + * { margin-top: 10px; } +{ font-weight: bold; margin-top: 1.25rem; } +h1 + *, h2 + *, .h7 + * { margin-top: 0.625rem; } h1, h2, .h7 -{ font-size: 20px; - line-height: 39px; - padding-top: 10px; +{ font-size: 1.25rem; + line-height: 2.4375rem; /* 2.5rem - border width */ + padding-top: 0.625rem; border-top: solid; border-width: 1px; border-color: #DDD; } -h3 { font-size: 18px; } - -h2 + h3, .h7 + .h8 { margin-top: 10px; } +h3, .h8 { font-size: 1.125rem; } +h2 + h3, .h7 + .h8 { margin-top: 0.625rem; } /* Preformatted and code */ @@ -106,18 +103,18 @@ tt, code, pre { font-family: Menlo, "DejaVu Sans Mono", "Bitstream Vera Sans Mono", monospace; font-weight: normal; - font-size: 12px; } + font-size: 0.75rem; } pre -{ padding-left: 4px; padding-right: 4px; - margin-left: -4px; margin-right: -4px; - padding-top: 5px; padding-bottom: 5px; - margin-top: 20px; /* margin-bottom: 0.625rem; */ - line-height: 19px; +{ padding-left: 0.25rem; padding-right: 0.25rem; + margin-left: -0.25rem; margin-right: -0.25rem; + padding-top: 0.3125rem; padding-bottom: 0.3125rem; + margin-top: 1.25rem; /* margin-bottom: 0.625rem; */ + line-height: 1.1875rem; background: #F1F1F1; } -h1 tt, h1 code, h2 tt, h2 code, .h7 tt, .h7 code { font-size: 18px } -h3 tt, h3 code { font-size: 16px } +h1 tt, h1 code, h2 tt, h2 code, .h7 tt, .h7 code { font-size: 1.125rem } +h3 tt, h3 code { font-size: 1rem } /* Code lexemes */ @@ -125,33 +122,19 @@ h3 tt, h3 code { font-size: 16px } /* Module member specification */ -div.def { margin-top: 0; text-indent: -2ex; padding-left: 2ex; } -div.def + div.doc { margin-left: 1ex; margin-top: 2.5px } -div.doc > *:first-child { margin-top: 0; } - -/* The elements other than heading should be wrapped in