Loading website/source/style.css +47 −6 Original line number Original line Diff line number Diff line body { body { line-height: 130%; line-height: 130%; margin-left: 2cm; margin-right: 2cm; } } /* @group anchors */ /* @group anchors */ Loading Loading @@ -79,13 +81,22 @@ a:hover { /* @group header-footer */ /* @group header-footer */ .header { position:relative; /* Position is declared "relative" to gain control of stacking order (z-index). */ .header { position:relative; /* Position is declared "relative" to gain control of stacking order (z-index). */ width:auto; width:auto; min-width:120px; min-width:120px; font-size: medium; background-color: #3aa244; color:#ffffff; font-size: medium; background-color: #3aa244; color:#ffffff; border: solid #417b39 4px; border: solid #417b39 4px; padding: 1mm 1mm 1mm 1em; padding: 1mm 1mm 1mm 1em; } #footer { font-size: small; font-style: italic; background-color: #346632; border-top: 2px solid; } #footer { font-size: small; font-style: italic; background-color: #346632; border-top: 2px solid; border-bottom: 2px solid; border-bottom: 2px solid; border-color: #417b39; border-color: #417b39; padding-top: 2mm; padding-top: 2mm; Loading @@ -103,7 +114,22 @@ a:hover { display: block; display: block; padding-top: 0.1em; padding-top: 0.1em; margin-top: 0.1em; margin-top: 0.1em; } #footer a:link { font-weight:bold; text-decoration:underline;} #footer a:visited { font-weight:bold; text-decoration:underline;} #footer a:hover { font-weight:bold; color:#002244; text-decoration:underline; } #footer a:link { font-weight:bold; text-decoration:underline; } #footer a:visited { font-weight:bold; text-decoration:underline; } #footer a:hover { font-weight:bold; color:#002244; text-decoration:underline; } } .header h2 { .header h2 { Loading Loading @@ -224,7 +250,22 @@ a:hover { width: 75%; width: 75%; padding-left: 2em; padding-left: 2em; float: left; float: left; } .check {font-size: x-small; text-align:right;} .check a:link { font-weight:bold; color:#a0a0ff; text-decoration:underline; } .check a:visited { font-weight:bold; color:#a0a0ff; text-decoration:underline; } .check a:hover { font-weight:bold; color:#000000; text-decoration:underline; } } .check {font-size: x-small; text-align:right;} .check a:link { font-weight:bold; color:#a0a0ff; text-decoration:underline; } .check a:visited { font-weight:bold; color:#a0a0ff; text-decoration:underline; } .check a:hover { font-weight:bold; color:#000000; text-decoration:underline; } .changelog { .changelog { font-size: 75%; font-size: 75%; Loading website/website.tmproj +114 −33 Original line number Original line Diff line number Diff line Loading @@ -3,44 +3,60 @@ <plist version="1.0"> <plist version="1.0"> <dict> <dict> <key>currentDocument</key> <key>currentDocument</key> <string>source/resources/shared-header.md</string> <string>source/style.css</string> <key>documents</key> <key>documents</key> <array> <array> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/manual.md</string> <string>source/getting-started.mmd</string> <key>lastUsed</key> <key>lastUsed</key> <date>2009-05-04T14:55:25Z</date> <date>2009-06-06T19:08:15Z</date> </dict> </dict> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/glossary.md</string> <string>source/index.mmd</string> </dict> </dict> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/user-guide.css</string> <string>source/manual.mmd</string> <key>lastUsed</key> <date>2009-06-06T19:52:07Z</date> </dict> </dict> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/user-guide.md</string> <string>source/user-guide.mmd</string> <key>lastUsed</key> <date>2009-06-06T19:06:09Z</date> </dict> </dict> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/style.css</string> <string>source/glossary.md</string> <key>lastUsed</key> <key>lastUsed</key> <date>2009-05-04T15:00:57Z</date> <date>2009-06-06T18:58:35Z</date> </dict> </dict> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/contributors.md</string> <string>source/user-guide.css</string> </dict> <dict> <key>filename</key> <string>source/copyright.md</string> <key>lastUsed</key> <date>2009-06-06T17:28:02Z</date> </dict> <dict> <key>filename</key> <string>source/style.css</string> <key>lastUsed</key> <key>lastUsed</key> <date>2009-05-06T13:53:35Z</date> <date>2009-06-06T19:52:07Z</date> <key>selected</key> <true/> </dict> </dict> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/index.md</string> <string>source/contributors.md</string> <key>lastUsed</key> <key>lastUsed</key> <date>2009-05-06T13:53:57Z</date> <date>2009-06-06T17:26:46Z</date> </dict> </dict> <dict> <dict> <key>expanded</key> <key>expanded</key> Loading @@ -66,61 +82,107 @@ <key>line</key> <key>line</key> <integer>19</integer> <integer>19</integer> </dict> </dict> <key>columnSelection</key> <false/> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> <key>firstVisibleLine</key> <key>firstVisibleLine</key> <integer>0</integer> <integer>0</integer> <key>selectFrom</key> <dict> <key>column</key> <integer>0</integer> <key>line</key> <integer>0</integer> </dict> </dict> <key>source/glossary.md</key> <key>selectTo</key> <dict> <key>column</key> <integer>0</integer> <key>line</key> <integer>25</integer> </dict> </dict> <key>source/copyright.md</key> <dict> <dict> <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>19</integer> <integer>0</integer> <key>line</key> <key>line</key> <integer>29</integer> </dict> <key>firstVisibleColumn</key> <integer>0</integer> <key>firstVisibleLine</key> <integer>0</integer> </dict> <key>source/getting-started.mmd</key> <dict> <key>caret</key> <dict> <key>column</key> <integer>0</integer> <integer>0</integer> <key>line</key> <integer>29</integer> </dict> </dict> <key>columnSelection</key> <false/> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> <key>firstVisibleLine</key> <key>firstVisibleLine</key> <integer>0</integer> <integer>0</integer> <key>selectFrom</key> <dict> <key>column</key> <integer>0</integer> <key>line</key> <integer>18</integer> </dict> </dict> <key>source/index.md</key> <key>selectTo</key> <dict> <key>column</key> <integer>0</integer> <key>line</key> <integer>29</integer> </dict> </dict> <key>source/glossary.md</key> <dict> <dict> <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>6</integer> <integer>19</integer> <key>line</key> <key>line</key> <integer>38</integer> <integer>0</integer> </dict> </dict> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> <key>firstVisibleLine</key> <key>firstVisibleLine</key> <integer>28</integer> <integer>0</integer> </dict> </dict> <key>source/manual.md</key> <key>source/manual.mmd</key> <dict> <dict> <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>0</integer> <integer>0</integer> <key>line</key> <key>line</key> <integer>1010</integer> <integer>696</integer> </dict> </dict> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>113</integer> <key>firstVisibleLine</key> <key>firstVisibleLine</key> <integer>990</integer> <integer>675</integer> </dict> </dict> <key>source/resources/footer.md</key> <key>source/resources/footer.md</key> <dict> <dict> <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>55</integer> <integer>0</integer> <key>line</key> <key>line</key> <integer>11</integer> <integer>13</integer> </dict> </dict> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> Loading Loading @@ -160,9 +222,9 @@ <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>0</integer> <integer>26</integer> <key>line</key> <key>line</key> <integer>16</integer> <integer>13</integer> </dict> </dict> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> Loading Loading @@ -202,9 +264,9 @@ <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>0</integer> <integer>14</integer> <key>line</key> <key>line</key> <integer>0</integer> <integer>3</integer> </dict> </dict> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> Loading @@ -225,29 +287,48 @@ <key>firstVisibleLine</key> <key>firstVisibleLine</key> <integer>10</integer> <integer>10</integer> </dict> </dict> <key>source/user-guide.md</key> <key>source/user-guide.mmd</key> <dict> <dict> <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>22</integer> <integer>0</integer> <key>line</key> <key>line</key> <integer>19</integer> <integer>10</integer> </dict> </dict> <key>columnSelection</key> <false/> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> <key>firstVisibleLine</key> <key>firstVisibleLine</key> <integer>0</integer> <integer>0</integer> <key>selectFrom</key> <dict> <key>column</key> <integer>0</integer> <key>line</key> <integer>9</integer> </dict> <key>selectTo</key> <dict> <key>column</key> <integer>0</integer> <key>line</key> <integer>10</integer> </dict> </dict> </dict> </dict> </dict> <key>openDocuments</key> <key>openDocuments</key> <array> <array> <string>source/manual.md</string> <string>source/style.css</string> <string>source/style.css</string> <string>source/resources/shared-header.md</string> <string>source/resources/shared-header.md</string> <string>source/copyright.md</string> <string>source/resources/header.md</string> <string>source/resources/header.md</string> <string>source/glossary.md</string> <string>source/getting-started.mmd</string> <string>source/manual.mmd</string> <string>source/user-guide.mmd</string> <string>source/resources/navigation.md</string> <string>source/resources/navigation.md</string> <string>source/index.md</string> <string>source/contributors.md</string> <string>source/contributors.md</string> <string>source/resources/footer.md</string> <string>source/resources/footer.md</string> </array> </array> Loading Loading
website/source/style.css +47 −6 Original line number Original line Diff line number Diff line body { body { line-height: 130%; line-height: 130%; margin-left: 2cm; margin-right: 2cm; } } /* @group anchors */ /* @group anchors */ Loading Loading @@ -79,13 +81,22 @@ a:hover { /* @group header-footer */ /* @group header-footer */ .header { position:relative; /* Position is declared "relative" to gain control of stacking order (z-index). */ .header { position:relative; /* Position is declared "relative" to gain control of stacking order (z-index). */ width:auto; width:auto; min-width:120px; min-width:120px; font-size: medium; background-color: #3aa244; color:#ffffff; font-size: medium; background-color: #3aa244; color:#ffffff; border: solid #417b39 4px; border: solid #417b39 4px; padding: 1mm 1mm 1mm 1em; padding: 1mm 1mm 1mm 1em; } #footer { font-size: small; font-style: italic; background-color: #346632; border-top: 2px solid; } #footer { font-size: small; font-style: italic; background-color: #346632; border-top: 2px solid; border-bottom: 2px solid; border-bottom: 2px solid; border-color: #417b39; border-color: #417b39; padding-top: 2mm; padding-top: 2mm; Loading @@ -103,7 +114,22 @@ a:hover { display: block; display: block; padding-top: 0.1em; padding-top: 0.1em; margin-top: 0.1em; margin-top: 0.1em; } #footer a:link { font-weight:bold; text-decoration:underline;} #footer a:visited { font-weight:bold; text-decoration:underline;} #footer a:hover { font-weight:bold; color:#002244; text-decoration:underline; } #footer a:link { font-weight:bold; text-decoration:underline; } #footer a:visited { font-weight:bold; text-decoration:underline; } #footer a:hover { font-weight:bold; color:#002244; text-decoration:underline; } } .header h2 { .header h2 { Loading Loading @@ -224,7 +250,22 @@ a:hover { width: 75%; width: 75%; padding-left: 2em; padding-left: 2em; float: left; float: left; } .check {font-size: x-small; text-align:right;} .check a:link { font-weight:bold; color:#a0a0ff; text-decoration:underline; } .check a:visited { font-weight:bold; color:#a0a0ff; text-decoration:underline; } .check a:hover { font-weight:bold; color:#000000; text-decoration:underline; } } .check {font-size: x-small; text-align:right;} .check a:link { font-weight:bold; color:#a0a0ff; text-decoration:underline; } .check a:visited { font-weight:bold; color:#a0a0ff; text-decoration:underline; } .check a:hover { font-weight:bold; color:#000000; text-decoration:underline; } .changelog { .changelog { font-size: 75%; font-size: 75%; Loading
website/website.tmproj +114 −33 Original line number Original line Diff line number Diff line Loading @@ -3,44 +3,60 @@ <plist version="1.0"> <plist version="1.0"> <dict> <dict> <key>currentDocument</key> <key>currentDocument</key> <string>source/resources/shared-header.md</string> <string>source/style.css</string> <key>documents</key> <key>documents</key> <array> <array> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/manual.md</string> <string>source/getting-started.mmd</string> <key>lastUsed</key> <key>lastUsed</key> <date>2009-05-04T14:55:25Z</date> <date>2009-06-06T19:08:15Z</date> </dict> </dict> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/glossary.md</string> <string>source/index.mmd</string> </dict> </dict> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/user-guide.css</string> <string>source/manual.mmd</string> <key>lastUsed</key> <date>2009-06-06T19:52:07Z</date> </dict> </dict> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/user-guide.md</string> <string>source/user-guide.mmd</string> <key>lastUsed</key> <date>2009-06-06T19:06:09Z</date> </dict> </dict> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/style.css</string> <string>source/glossary.md</string> <key>lastUsed</key> <key>lastUsed</key> <date>2009-05-04T15:00:57Z</date> <date>2009-06-06T18:58:35Z</date> </dict> </dict> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/contributors.md</string> <string>source/user-guide.css</string> </dict> <dict> <key>filename</key> <string>source/copyright.md</string> <key>lastUsed</key> <date>2009-06-06T17:28:02Z</date> </dict> <dict> <key>filename</key> <string>source/style.css</string> <key>lastUsed</key> <key>lastUsed</key> <date>2009-05-06T13:53:35Z</date> <date>2009-06-06T19:52:07Z</date> <key>selected</key> <true/> </dict> </dict> <dict> <dict> <key>filename</key> <key>filename</key> <string>source/index.md</string> <string>source/contributors.md</string> <key>lastUsed</key> <key>lastUsed</key> <date>2009-05-06T13:53:57Z</date> <date>2009-06-06T17:26:46Z</date> </dict> </dict> <dict> <dict> <key>expanded</key> <key>expanded</key> Loading @@ -66,61 +82,107 @@ <key>line</key> <key>line</key> <integer>19</integer> <integer>19</integer> </dict> </dict> <key>columnSelection</key> <false/> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> <key>firstVisibleLine</key> <key>firstVisibleLine</key> <integer>0</integer> <integer>0</integer> <key>selectFrom</key> <dict> <key>column</key> <integer>0</integer> <key>line</key> <integer>0</integer> </dict> </dict> <key>source/glossary.md</key> <key>selectTo</key> <dict> <key>column</key> <integer>0</integer> <key>line</key> <integer>25</integer> </dict> </dict> <key>source/copyright.md</key> <dict> <dict> <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>19</integer> <integer>0</integer> <key>line</key> <key>line</key> <integer>29</integer> </dict> <key>firstVisibleColumn</key> <integer>0</integer> <key>firstVisibleLine</key> <integer>0</integer> </dict> <key>source/getting-started.mmd</key> <dict> <key>caret</key> <dict> <key>column</key> <integer>0</integer> <integer>0</integer> <key>line</key> <integer>29</integer> </dict> </dict> <key>columnSelection</key> <false/> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> <key>firstVisibleLine</key> <key>firstVisibleLine</key> <integer>0</integer> <integer>0</integer> <key>selectFrom</key> <dict> <key>column</key> <integer>0</integer> <key>line</key> <integer>18</integer> </dict> </dict> <key>source/index.md</key> <key>selectTo</key> <dict> <key>column</key> <integer>0</integer> <key>line</key> <integer>29</integer> </dict> </dict> <key>source/glossary.md</key> <dict> <dict> <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>6</integer> <integer>19</integer> <key>line</key> <key>line</key> <integer>38</integer> <integer>0</integer> </dict> </dict> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> <key>firstVisibleLine</key> <key>firstVisibleLine</key> <integer>28</integer> <integer>0</integer> </dict> </dict> <key>source/manual.md</key> <key>source/manual.mmd</key> <dict> <dict> <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>0</integer> <integer>0</integer> <key>line</key> <key>line</key> <integer>1010</integer> <integer>696</integer> </dict> </dict> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>113</integer> <key>firstVisibleLine</key> <key>firstVisibleLine</key> <integer>990</integer> <integer>675</integer> </dict> </dict> <key>source/resources/footer.md</key> <key>source/resources/footer.md</key> <dict> <dict> <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>55</integer> <integer>0</integer> <key>line</key> <key>line</key> <integer>11</integer> <integer>13</integer> </dict> </dict> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> Loading Loading @@ -160,9 +222,9 @@ <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>0</integer> <integer>26</integer> <key>line</key> <key>line</key> <integer>16</integer> <integer>13</integer> </dict> </dict> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> Loading Loading @@ -202,9 +264,9 @@ <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>0</integer> <integer>14</integer> <key>line</key> <key>line</key> <integer>0</integer> <integer>3</integer> </dict> </dict> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> Loading @@ -225,29 +287,48 @@ <key>firstVisibleLine</key> <key>firstVisibleLine</key> <integer>10</integer> <integer>10</integer> </dict> </dict> <key>source/user-guide.md</key> <key>source/user-guide.mmd</key> <dict> <dict> <key>caret</key> <key>caret</key> <dict> <dict> <key>column</key> <key>column</key> <integer>22</integer> <integer>0</integer> <key>line</key> <key>line</key> <integer>19</integer> <integer>10</integer> </dict> </dict> <key>columnSelection</key> <false/> <key>firstVisibleColumn</key> <key>firstVisibleColumn</key> <integer>0</integer> <integer>0</integer> <key>firstVisibleLine</key> <key>firstVisibleLine</key> <integer>0</integer> <integer>0</integer> <key>selectFrom</key> <dict> <key>column</key> <integer>0</integer> <key>line</key> <integer>9</integer> </dict> <key>selectTo</key> <dict> <key>column</key> <integer>0</integer> <key>line</key> <integer>10</integer> </dict> </dict> </dict> </dict> </dict> <key>openDocuments</key> <key>openDocuments</key> <array> <array> <string>source/manual.md</string> <string>source/style.css</string> <string>source/style.css</string> <string>source/resources/shared-header.md</string> <string>source/resources/shared-header.md</string> <string>source/copyright.md</string> <string>source/resources/header.md</string> <string>source/resources/header.md</string> <string>source/glossary.md</string> <string>source/getting-started.mmd</string> <string>source/manual.mmd</string> <string>source/user-guide.mmd</string> <string>source/resources/navigation.md</string> <string>source/resources/navigation.md</string> <string>source/index.md</string> <string>source/contributors.md</string> <string>source/contributors.md</string> <string>source/resources/footer.md</string> <string>source/resources/footer.md</string> </array> </array> Loading