summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-10-04 16:16:35 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-10-04 16:16:35 +0200
commit92599a04c89429d5bbe99e81eb97186c7c0fc894 (patch)
tree2573daf384bbd236992ec5b1f37adca4914baa51 /prolog
parentb38db7fe532e60426099471ac4e8d46b38a12f62 (diff)
Use a single CSS file for all courses
Diffstat (limited to 'prolog')
-rw-r--r--prolog/intro_sl.html3
-rw-r--r--prolog/problems/dcg/intro_sl.html7
-rw-r--r--prolog/problems/family_relations/intro_sl.html3
-rw-r--r--prolog/problems/lists/intro_sl.html7
-rw-r--r--prolog/problems/sets/intro_sl.html3
-rw-r--r--prolog/style.css60
6 files changed, 14 insertions, 69 deletions
diff --git a/prolog/intro_sl.html b/prolog/intro_sl.html
index 8a99152..fc85e21 100644
--- a/prolog/intro_sl.html
+++ b/prolog/intro_sl.html
@@ -3,7 +3,8 @@
<head>
<meta charset="utf-8" />
<title>CodeQ: Prolog</title>
- <link rel="stylesheet" type="text/css" href="style.css" />
+ <link rel="stylesheet" type="text/css" href="/css/codeq.css" />
+ <link rel="stylesheet" type="text/css" href="../style.css" />
</head>
<body>
diff --git a/prolog/problems/dcg/intro_sl.html b/prolog/problems/dcg/intro_sl.html
index ae94e73..09f1ea1 100644
--- a/prolog/problems/dcg/intro_sl.html
+++ b/prolog/problems/dcg/intro_sl.html
@@ -1,9 +1,10 @@
<!DOCTYPE html>
<html lang="sl">
<head>
- <meta charset="utf-8" />
- <title>Prolog: Gramatike (DCG)</title>
- <link rel="stylesheet" type="text/css" href="../style.css" />
+ <meta charset="utf-8" />
+ <title>Prolog: Gramatike (DCG)</title>
+ <link rel="stylesheet" type="text/css" href="/css/codeq.css" />
+ <link rel="stylesheet" type="text/css" href="../../style.css" />
</head>
<body>
diff --git a/prolog/problems/family_relations/intro_sl.html b/prolog/problems/family_relations/intro_sl.html
index fe0476b..6eda8ef 100644
--- a/prolog/problems/family_relations/intro_sl.html
+++ b/prolog/problems/family_relations/intro_sl.html
@@ -3,7 +3,8 @@
<head>
<meta charset="utf-8" />
<title>Prolog: družinske relacije</title>
- <link rel="stylesheet" type="text/css" href="../style.css" />
+ <link rel="stylesheet" type="text/css" href="/css/codeq.css" />
+ <link rel="stylesheet" type="text/css" href="../../style.css" />
</head>
<body>
diff --git a/prolog/problems/lists/intro_sl.html b/prolog/problems/lists/intro_sl.html
index cd3f1a8..49e6967 100644
--- a/prolog/problems/lists/intro_sl.html
+++ b/prolog/problems/lists/intro_sl.html
@@ -1,9 +1,10 @@
<!DOCTYPE html>
<html lang="sl">
<head>
- <meta charset="utf-8" />
- <title>Prolog: seznami</title>
- <link rel="stylesheet" type="text/css" href="../style.css" />
+ <meta charset="utf-8" />
+ <title>Prolog: seznami</title>
+ <link rel="stylesheet" type="text/css" href="/css/codeq.css" />
+ <link rel="stylesheet" type="text/css" href="../../style.css" />
</head>
<body>
diff --git a/prolog/problems/sets/intro_sl.html b/prolog/problems/sets/intro_sl.html
index 3763628..5e02a82 100644
--- a/prolog/problems/sets/intro_sl.html
+++ b/prolog/problems/sets/intro_sl.html
@@ -3,7 +3,8 @@
<head>
<meta charset="utf-8" />
<title>Prolog: negacija in rez</title>
- <link rel="stylesheet" type="text/css" href="../style.css" />
+ <link rel="stylesheet" type="text/css" href="/css/codeq.css" />
+ <link rel="stylesheet" type="text/css" href="../../style.css" />
</head>
<body>
diff --git a/prolog/style.css b/prolog/style.css
deleted file mode 100644
index 2000a50..0000000
--- a/prolog/style.css
+++ /dev/null
@@ -1,60 +0,0 @@
-body {
- max-width: 60em;
- margin: 0 auto;
- padding: 1em;
- hyphens: auto;
- -moz-hyphens: auto;
- -ms-hyphens: auto;
- -webkit-hyphens: auto;
-}
-
-figure {
- margin: 0 auto;
-}
-figure > figcaption {
- text-align: center;
- width: 100%;
-}
-figure img {
- display: block;
- margin: 0.25em auto;
- max-width: 80%;
-}
-
-li > p {
- margin: 0;
-}
-li > p:last-child {
- margin-bottom: 0.5em;
-}
-
-p {
- text-align: justify;
-}
-
-/* code snippets */
-code, pre {
- font-size: 0.95em;
-}
-
-code {
- background-color: #f4f2f9;
- color: #1525c6;
- padding: 0.1em 0.2em;
-}
-
-pre {
- padding: 0.5em 1em;
- margin: 0 0 10px;
- color: #333;
- word-break: break-all;
- word-wrap: break-word;
- background-color: #f5f5f5;
- border: 1px solid #ccc;
- border-radius: 4px;
-}
-
-/* CodeQ name in small caps */
-span.codeq {
- font-variant: small-caps;
-}