Skip to content
Snippets Groups Projects
Commit 1b80d796 authored by Goik Martin's avatar Goik Martin
Browse files

Merge branch 'master' of gitlab.mi.hdm-stuttgart.de:goik/GoikLectures

parents 143bb67c f757ef9c
No related branches found
No related tags found
No related merge requests found
Showing
with 1616 additions and 1344 deletions
This diff is collapsed.
/* shame on you, javadoc! Still providing
@import url('resources/fonts/dejavu.css') line in stylesheet.css
*/
\ No newline at end of file
/* Javadoc extensions: */
table.goikTableDefaults,
table.goikTableDefaults>caption,
table.goikTableDefaults>tr>th,
table.goikTableDefaults>tr>td,
table.goikTableDefaults>tbody>tr>th,
table.goikTableDefaults>tbody>tr>td {
border: 2px solid black;
border-collapse: collapse;
padding: 1ex;
vertical-align: top;
}
table.goikTableDefaults>caption {
/* border-top-style: solid; border-left-style: solid; border-right-style: solid' */
border-bottom-style: none;
font-weight: bold;
background:#dee3e9;
text-align:left;
padding:8px 3px 3px 7px;
}
table.goikTableDefaults>tbody>tr>td {
vertical-align:top;
}
table.goikTableDefaults {
border-spacing: 0px !important;
}
table.indexTable {
border-collapse: collapse;
border-style: hidden;
}
table.indexTable caption {
text-align: left;
}
table.indexTable td, table.indexTable th {
border: 1px solid black;
padding: 0.5ex;
}
em {
font-weight: bold;
font-style: normal;
}
section.implementationHints>h3 {
font-weight: bold;
background-color: rgb(222, 227, 233);
}
code {
white-space: pre;
}
.implementationHints {
background-color: hsl(120, 100%, 95%) !important;
}
.myRed {
color: red;
}
.myGreen {
color: limegreen;
}
for(var i in document.links) {
var link = document.links[i];
if (link.href && link.href.indexOf('http') === 0) {
link.target = '_blank';
}
}
/* shame on you, javadoc! Still providing
@import url('resources/fonts/dejavu.css') line in stylesheet.css
*/
\ No newline at end of file
/* Javadoc extensions: */
table.goikTableDefaults,
table.goikTableDefaults>caption,
table.goikTableDefaults>tr>th,
table.goikTableDefaults>tr>td,
table.goikTableDefaults>tbody>tr>th,
table.goikTableDefaults>tbody>tr>td {
border: 2px solid black;
border-collapse: collapse;
padding: 1ex;
vertical-align: top;
}
table.goikTableDefaults>caption {
/* border-top-style: solid; border-left-style: solid; border-right-style: solid' */
border-bottom-style: none;
font-weight: bold;
background:#dee3e9;
text-align:left;
padding:8px 3px 3px 7px;
}
table.goikTableDefaults>tbody>tr>td {
vertical-align:top;
}
table.goikTableDefaults {
border-spacing: 0px !important;
}
table.indexTable {
border-collapse: collapse;
border-style: hidden;
}
table.indexTable caption {
text-align: left;
}
table.indexTable td, table.indexTable th {
border: 1px solid black;
padding: 0.5ex;
}
em {
font-weight: bold;
font-style: normal;
}
section.implementationHints>h3 {
font-weight: bold;
background-color: rgb(222, 227, 233);
}
code {
white-space: pre;
}
.implementationHints {
background-color: hsl(120, 100%, 95%) !important;
}
.myRed {
color: red;
}
.myGreen {
color: limegreen;
}
for(var i in document.links) {
var link = document.links[i];
if (link.href && link.href.indexOf('http') === 0) {
link.target = '_blank';
}
}
/* shame on you, javadoc! Still providing
@import url('resources/fonts/dejavu.css') line in stylesheet.css
*/
\ No newline at end of file
/* Javadoc extensions: */
table.goikTableDefaults,
table.goikTableDefaults>caption,
table.goikTableDefaults>tr>th,
table.goikTableDefaults>tr>td,
table.goikTableDefaults>tbody>tr>th,
table.goikTableDefaults>tbody>tr>td {
border: 2px solid black;
border-collapse: collapse;
padding: 1ex;
vertical-align: top;
}
table.goikTableDefaults>caption {
/* border-top-style: solid; border-left-style: solid; border-right-style: solid' */
border-bottom-style: none;
font-weight: bold;
background:#dee3e9;
text-align:left;
padding:8px 3px 3px 7px;
}
table.goikTableDefaults>tbody>tr>td {
vertical-align:top;
}
table.goikTableDefaults {
border-spacing: 0px !important;
}
table.indexTable {
border-collapse: collapse;
border-style: hidden;
}
table.indexTable caption {
text-align: left;
}
table.indexTable td, table.indexTable th {
border: 1px solid black;
padding: 0.5ex;
}
em {
font-weight: bold;
font-style: normal;
}
section.implementationHints>h3 {
font-weight: bold;
background-color: rgb(222, 227, 233);
}
code {
white-space: pre;
}
.implementationHints {
background-color: hsl(120, 100%, 95%) !important;
}
.myRed {
color: red;
}
.myGreen {
color: limegreen;
}
for(var i in document.links) {
var link = document.links[i];
if (link.href && link.href.indexOf('http') === 0) {
link.target = '_blank';
}
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment