Thu, 30 Dec 2021 12:44:26 +0100
Updated source documentation.
--- a/.hgignore Thu Dec 30 11:20:05 2021 +0100 +++ b/.hgignore Thu Dec 30 12:44:26 2021 +0100 @@ -1,6 +1,7 @@ glob:.eric6project glob:.eric7project glob:.ropeproject +glob:.jedi glob:.directory glob:**.pyc glob:**.pyo
--- a/ColorString/Documentation/source/Plugin_Tools_ColorString.ColorString.ColorSelectionDialog.html Thu Dec 30 11:20:05 2021 +0100 +++ b/ColorString/Documentation/source/Plugin_Tools_ColorString.ColorString.ColorSelectionDialog.html Thu Dec 30 12:44:26 2021 +0100 @@ -2,21 +2,7 @@ <html><head> <title>Plugin_Tools_ColorString.ColorString.ColorSelectionDialog</title> <meta charset="UTF-8"> -<style> -body { - background: #EDECE6; - margin: 0em 1em 10em 1em; - color: black; -} - -h1 { color: white; background: #85774A; } -h2 { color: white; background: #85774A; } -h3 { color: white; background: #9D936E; } -h4 { color: white; background: #9D936E; } - -a { color: #BA6D36; } - -</style> +<link rel="stylesheet" href="styles.css"> </head> <body> <a NAME="top" ID="top"></a>
--- a/ColorString/Documentation/source/Plugin_Tools_ColorString.PluginColorString.html Thu Dec 30 11:20:05 2021 +0100 +++ b/ColorString/Documentation/source/Plugin_Tools_ColorString.PluginColorString.html Thu Dec 30 12:44:26 2021 +0100 @@ -2,21 +2,7 @@ <html><head> <title>Plugin_Tools_ColorString.PluginColorString</title> <meta charset="UTF-8"> -<style> -body { - background: #EDECE6; - margin: 0em 1em 10em 1em; - color: black; -} - -h1 { color: white; background: #85774A; } -h2 { color: white; background: #85774A; } -h3 { color: white; background: #9D936E; } -h4 { color: white; background: #9D936E; } - -a { color: #BA6D36; } - -</style> +<link rel="stylesheet" href="styles.css"> </head> <body> <a NAME="top" ID="top"></a>
--- a/ColorString/Documentation/source/index-Plugin_Tools_ColorString.ColorString.html Thu Dec 30 11:20:05 2021 +0100 +++ b/ColorString/Documentation/source/index-Plugin_Tools_ColorString.ColorString.html Thu Dec 30 12:44:26 2021 +0100 @@ -2,21 +2,7 @@ <html><head> <title>Plugin_Tools_ColorString.ColorString</title> <meta charset="UTF-8"> -<style> -body { - background: #EDECE6; - margin: 0em 1em 10em 1em; - color: black; -} - -h1 { color: white; background: #85774A; } -h2 { color: white; background: #85774A; } -h3 { color: white; background: #9D936E; } -h4 { color: white; background: #9D936E; } - -a { color: #BA6D36; } - -</style> +<link rel="stylesheet" href="styles.css"> </head> <body> <h1>Plugin_Tools_ColorString.ColorString</h1>
--- a/ColorString/Documentation/source/index-Plugin_Tools_ColorString.html Thu Dec 30 11:20:05 2021 +0100 +++ b/ColorString/Documentation/source/index-Plugin_Tools_ColorString.html Thu Dec 30 12:44:26 2021 +0100 @@ -2,21 +2,7 @@ <html><head> <title>Plugin_Tools_ColorString</title> <meta charset="UTF-8"> -<style> -body { - background: #EDECE6; - margin: 0em 1em 10em 1em; - color: black; -} - -h1 { color: white; background: #85774A; } -h2 { color: white; background: #85774A; } -h3 { color: white; background: #9D936E; } -h4 { color: white; background: #9D936E; } - -a { color: #BA6D36; } - -</style> +<link rel="stylesheet" href="styles.css"> </head> <body> <h1>Plugin_Tools_ColorString</h1>
--- a/ColorString/Documentation/source/index.html Thu Dec 30 11:20:05 2021 +0100 +++ b/ColorString/Documentation/source/index.html Thu Dec 30 12:44:26 2021 +0100 @@ -2,21 +2,7 @@ <html><head> <title>Table of contents</title> <meta charset="UTF-8"> -<style> -body { - background: #EDECE6; - margin: 0em 1em 10em 1em; - color: black; -} - -h1 { color: white; background: #85774A; } -h2 { color: white; background: #85774A; } -h3 { color: white; background: #9D936E; } -h4 { color: white; background: #9D936E; } - -a { color: #BA6D36; } - -</style> +<link rel="stylesheet" href="styles.css"> </head> <body> <h1>Table of contents</h1>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/ColorString/Documentation/source/styles.css Thu Dec 30 12:44:26 2021 +0100 @@ -0,0 +1,12 @@ +body { + color: black; + background: #EDECE6; + margin: 0em 1em 10em 1em; +} + +h1 { color: white; background: #85774A; } +h2 { color: white; background: #85774A; } +h3 { color: white; background: #9D936E; } +h4 { color: white; background: #9D936E; } + +a { color: #BA6D36; }