diff options
| author | Andre Noll <maan@tuebingen.mpg.de> | 2020-01-10 11:38:48 +0100 |
|---|---|---|
| committer | Andre Noll <maan@tuebingen.mpg.de> | 2020-01-10 11:38:48 +0100 |
| commit | e9a3585174e0fda1ac580d0e720f7ecc48bb9e9f (patch) | |
| tree | 5dce7c0b3252702640d4b53abb1d9d4b64dac8bc /include/css | |
Initial commit.
These files were created 2015 and orginally contained only the
material that was used for the Unix courses held back then at the
MPI for development biology in Tübingen.
Over time, more content was added and existing contents have been
improved. Development was tracked within the non-public "user-info"
git repository that also contains unrelated contents for internal
use within the institute.
In 2019-12 the title was changed to "Advanced Problems in the Linux
Environment" and the pages were made public. To give interested
readers access to the source code, contents were moved to a dedicated
repository that was made public in 2020-01.
No attempts were made to filter out the 269 commits of the user-info
repo that touched the files of the unix course.
Diffstat (limited to 'include/css')
| -rw-r--r-- | include/css/aple.css | 96 |
1 files changed, 96 insertions, 0 deletions
diff --git a/include/css/aple.css b/include/css/aple.css new file mode 100644 index 0000000..6ebecac --- /dev/null +++ b/include/css/aple.css @@ -0,0 +1,96 @@ +body { + background-color: #aacccc; + text-align: justify; + padding: 0px 30px 0px 25px; + +} + +h1 { + font-size: 150%; +} + +.logo { + border: 0px; + padding: 0em 20px 0px 0px; + margin-left: 0px; + margin-right: 0px; + border: 0px; +} + +table { + margin-left: auto; + margin-right: auto; + border: none; +} + +td { + border: 2px #9bb solid; + padding: 5px; +} + +svg { + float: left; +} + +#menu +{ + position: fixed; + left: -40%; + width: 40%; + top: 0%; + height: 100%; + background: #ccc; + margin: 0px 0px 0px 15px; + padding: 200% 0px 0px 0px; + transition: 0.5s; +} + +#menu:hover { + top: 0em; + left: 0em; + margin: 0em 0em 0em 0em; + padding: 0em 15px 0em 15px; + background: #aaa; + overflow: auto; +} + +#title +{ + vertical-align: middle; + border: 0px; +} + +#overview_heading { + text-align: center; + font-weight: bold; +} + +#overview_text { + margin: 1% 5% 1% 5%; + font-size: 95%; +} + +div.solution { + margin: 0% 3% 0% 3%; + font-size: 95%; +} +div.diffctx { + font-family: monospace; + color: #000; +} +div.diffadd { + font-family: monospace; + color: #085; +} +div.diffdel { + font-family: monospace; + color: #a08; +} + +dt { + text-decoration: underline; +} + +#chapter_list { + font-size: 120%; +} |
